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 | 14 |
1 files changed, 7 insertions, 7 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 a76107c4..2b5958ca 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 | |||
@@ -85,13 +85,13 @@ VLSSatisfiable: | |||
85 | {VLSSatisfiable} 'Satisfiable!' | 85 | {VLSSatisfiable} 'Satisfiable!' |
86 | ; | 86 | ; |
87 | 87 | ||
88 | VLSTrying: | 88 | //VLSTrying: |
89 | 'TRYING' '[' name = LITERAL ']' | 89 | // 'TRYING' '[' name = LITERAL ']' |
90 | ; | 90 | //; |
91 | 91 | // | |
92 | VLSFiniteModel: | 92 | //VLSFiniteModel: |
93 | {VLSFiniteModel} 'Finite' 'Model' 'Found!' | 93 | // {VLSFiniteModel} 'Finite' 'Model' 'Found!' |
94 | ; | 94 | //; |
95 | 95 | ||
96 | // <FOF formulas> | 96 | // <FOF formulas> |
97 | VLSFofFormula: | 97 | VLSFofFormula: |