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:
         {VLSSatisfiable} 'Satisfiable!'

 ;

 

-VLSTrying:

-        'TRYING' '[' name = LITERAL ']'

-;

-

-VLSFiniteModel:

-        {VLSFiniteModel} 'Finite' 'Model' 'Found!'

-;

+//VLSTrying:

+//      'TRYING' '[' name = LITERAL ']'

+//;

+//

+//VLSFiniteModel:

+//      {VLSFiniteModel} 'Finite' 'Model' 'Found!'

+//;

 

 // <FOF formulas>

 VLSFofFormula: