diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext | 4 |
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 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: | |||
220 | ; | 220 | ; |
221 | 221 | ||
222 | VLSOtherDeclaration: | 222 | VLSOtherDeclaration: |
223 | VLSAtomicConstant ':' type = VLSTypeDef | 223 | name = VLSAtomicConstant ':' type = VLSTypeDef |
224 | ; | 224 | ; |
225 | 225 | ||
226 | VLSVariableDeclaration: | 226 | VLSVariableDeclaration: |
227 | VLSVariable ':' type = VLSTypeDef | 227 | name = VLSVariable ':' type = VLSTypeDef |
228 | ; | 228 | ; |
229 | 229 | ||
230 | VLSTypeDef: | 230 | VLSTypeDef: |