1 files changed, 5 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 daa15ca1..d5b40ed9 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
@@ -50,12 +50,15 @@ terminal UNSIGNED_RAT_ID:  (LITERAL) ('/') ('1'..'9') (INT)? ;
 terminal SIGNED_RAT_ID: (SIGN)* (UNSIGNED_RAT_ID);

 

 //Overwriting is necessary

-terminal ANY_OTHER: '%' (!('\n'|'\r'))* ('\r');

+terminal ID: (!('\n'|'\r'))* ;

+terminal ANY_OTHER: ID;

 terminal SINGLE_COMMENT: ANY_OTHER;

 //terminal ID:  ( !('('|')'|'\r'|'\n') )+ ;

 

 

 

+

+

 //////////////////////////////////

 // VLS types

 //////////////////////////////////

@@ -71,7 +74,7 @@ VLSName:
 

 // <comments>

 VLSComment:

-        comment = SINGLE_COMMENT

+        '%' comment = SINGLE_COMMENT

         //need to add a new line at the end of the file for the case where the last line is a comment

 ;