1 files changed, 8 insertions, 6 deletions

diff --git a/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens b/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
index e968ac14..7b308424 100644
--- a/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
+++ b/language/src/main/xtext-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalProblem.tokens
@@ -9,9 +9,10 @@
 '..'=38
 ':'=34
 ':-'=31
+'::'=40
 ';'=19
 '='=37
-'?'=43
+'?'=44
 '['=24
 ']'=25
 'abstract'=14
@@ -20,22 +21,22 @@
 'enum'=21
 'error'=27
 'extends'=16
-'false'=41
+'false'=42
 'opposite'=26
 'pred'=28
 'problem'=12
 'refers'=23
 'scope'=35
-'true'=40
-'unknown'=42
+'true'=41
+'unknown'=43
 '{'=18
 '}'=20
 RULE_ANY_OTHER=11
 RULE_ID=4
 RULE_INT=5
-RULE_ML_COMMENT=8
+RULE_ML_COMMENT=9
 RULE_QUOTED_ID=6
-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