From 6cac004e4935f4cdbfaf1004c74ba7604f990ddc Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 6 Mar 2019 17:26:43 -0500 Subject: Implement Enum handling and study hierarchy handling --- .../src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext') 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)* ')')? -- cgit v1.2.3-54-g00ecf