From 35ac37963fc3e3f3fb142aaf1fdffd26e05e473a Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 2 Sep 2019 03:47:21 -0400 Subject: VAMPIRE: implement Vampire Model Interpreter, 2/3 done --- .../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 1b115d45..cd640556 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 @@ -220,11 +220,11 @@ VLSDeclaration: ; VLSOtherDeclaration: - VLSAtomicConstant ':' type = VLSTypeDef + name = VLSAtomicConstant ':' type = VLSTypeDef ; VLSVariableDeclaration: - VLSVariable ':' type = VLSTypeDef + name = VLSVariable ':' type = VLSTypeDef ; VLSTypeDef: -- cgit v1.2.3-54-g00ecf