1 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext
index 2b5958ca..7d20da72 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext
@@ -289,10 +289,10 @@ VLSVariable :
 VLSFofTerm returns VLSTerm:
        //(VLSVariable | VLSFunction | VLSTffConditional | VLSTffLet | VLSTffTuple)
-        (VLSVariable | VLSFunctionFof | VLSDefinedTerm )
+        (VLSVariable | VLSFunctionAsTerm | VLSDefinedTerm )
 ;
-VLSFunctionFof:
+VLSFunctionAsTerm:
        //? on next line causes warning
        //TODO might need replace DOLLAR_ID with enum rule 
        functor = (LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID ) ( '(' terms += VLSFofTerm (',' terms += VLSFofTerm)* ')')?

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext index 2b5958ca..7d20da72 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext
@@ -289,10 +289,10 @@ VLSVariable :
289		289
290	VLSFofTerm returns VLSTerm:	290	VLSFofTerm returns VLSTerm:
291	//(VLSVariable \| VLSFunction \| VLSTffConditional \| VLSTffLet \| VLSTffTuple)	291	//(VLSVariable \| VLSFunction \| VLSTffConditional \| VLSTffLet \| VLSTffTuple)
292	(VLSVariable \| VLSFunctionFof \| VLSDefinedTerm )	292	(VLSVariable \| VLSFunctionAsTerm \| VLSDefinedTerm )
293	;	293	;
294		294
295	VLSFunctionFof:	295	VLSFunctionAsTerm:
296	//? on next line causes warning	296	//? on next line causes warning
297	//TODO might need replace DOLLAR_ID with enum rule	297	//TODO might need replace DOLLAR_ID with enum rule
298	functor = (LOWER_WORD_ID \| SINGLE_QUOTE \| DOLLAR_ID \| DOUBLE_DOLLAR_ID ) ( '(' terms += VLSFofTerm (',' terms += VLSFofTerm)* ')')?	298	functor = (LOWER_WORD_ID \| SINGLE_QUOTE \| DOLLAR_ID \| DOUBLE_DOLLAR_ID ) ( '(' terms += VLSFofTerm (',' terms += VLSFofTerm)* ')')?