1 files changed, 9 insertions, 7 deletions

diff --git a/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens b/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens
index c0cdd3c6..49838545 100644
--- a/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens
+++ b/language-ide/src/main/xtext-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalProblem.tokens
@@ -2,23 +2,24 @@
 '('=33
 ')'=34
 '*'=18
-'+'=42
-'+='=43
+'+'=43
+'+='=44
 ','=13
 '.'=12
 '..'=38
 ':'=36
 ':-'=35
+'::'=39
 ';'=14
 '='=17
 '?'=23
 '['=30
 ']'=31
-'abstract'=39
+'abstract'=40
 'class'=25
-'contains'=40
+'contains'=41
 'enum'=29
-'error'=41
+'error'=42
 'extends'=26
 'false'=20
 'opposite'=32
@@ -33,9 +34,9 @@
 RULE_ANY_OTHER=11
 RULE_ID=6
 RULE_INT=4
-RULE_ML_COMMENT=8
+RULE_ML_COMMENT=9
 RULE_QUOTED_ID=5
-RULE_SL_COMMENT=9
+RULE_SL_COMMENT=8
 RULE_STRING=7
 RULE_WS=10
 T__12=12
@@ -70,3 +71,4 @@ T__40=40
 T__41=41
 T__42=42
 T__43=43
+T__44=44