1 files changed, 36 insertions, 6 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g
index 8bab57ae..7b766803 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g
@@ -3191,9 +3191,9 @@ rule__VLSOtherDeclaration__Group__0__Impl
         }

 :

 (

-        { before(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); }

-        ruleVLSAtomicConstant

-        { after(grammarAccess.getVLSOtherDeclarationAccess().getVLSAtomicConstantParserRuleCall_0()); }

+        { before(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); }

+        (rule__VLSOtherDeclaration__NameAssignment_0)

+        { after(grammarAccess.getVLSOtherDeclarationAccess().getNameAssignment_0()); }

 )

 ;

 finally {

@@ -3272,9 +3272,9 @@ rule__VLSVariableDeclaration__Group__0__Impl
         }

 :

 (

-        { before(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); }

-        ruleVLSVariable

-        { after(grammarAccess.getVLSVariableDeclarationAccess().getVLSVariableParserRuleCall_0()); }

+        { before(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); }

+        (rule__VLSVariableDeclaration__NameAssignment_0)

+        { after(grammarAccess.getVLSVariableDeclarationAccess().getNameAssignment_0()); }

 )

 ;

 finally {

@@ -6359,6 +6359,21 @@ finally {
         restoreStackSize(stackSize);

 }

 

+rule__VLSOtherDeclaration__NameAssignment_0

+        @init {

+                int stackSize = keepStackSize();

+        }

+:

+        (

+                { before(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); }

+                ruleVLSAtomicConstant

+                { after(grammarAccess.getVLSOtherDeclarationAccess().getNameVLSAtomicConstantParserRuleCall_0_0()); }

+        )

+;

+finally {

+        restoreStackSize(stackSize);

+}

+

 rule__VLSOtherDeclaration__TypeAssignment_2

         @init {

                 int stackSize = keepStackSize();

@@ -6374,6 +6389,21 @@ finally {
         restoreStackSize(stackSize);

 }

 

+rule__VLSVariableDeclaration__NameAssignment_0

+        @init {

+                int stackSize = keepStackSize();

+        }

+:

+        (

+                { before(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); }

+                ruleVLSVariable

+                { after(grammarAccess.getVLSVariableDeclarationAccess().getNameVLSVariableParserRuleCall_0_0()); }

+        )

+;

+finally {

+        restoreStackSize(stackSize);

+}

+

 rule__VLSVariableDeclaration__TypeAssignment_2

         @init {

                 int stackSize = keepStackSize();