diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext')
| -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: |