1 files changed, 6 insertions, 1 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 cd640556..71655a32 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
@@ -208,7 +208,12 @@ VLSAnnotationTerms returns VLSAnnotation:
 //////////////////////////////////

 VLSTffTerm:

         VLSTerm |

-        VLSDeclaration

+        VLSDeclaration |

+        VLSCommentTerm

+;
+
+VLSCommentTerm returns VLSTerm:
+        comment = SINGLE_COMMENT
 ;

 

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