1 files changed, 9 insertions, 7 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens
index 4b2cb3c8..a073e157 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens
@@ -3,8 +3,8 @@
 '#'=63

 '&&'=17

 '&'=58

-'('=69

-')'=70

+'('=70

+')'=71

 '*'=62

 '+'=39

 '++'=53

@@ -23,20 +23,21 @@
 '>'=49

 '>='=50

 'Int'=68

+'String'=69

 '['=42

 ']'=43

 '^'=61

-'abstract'=73

+'abstract'=75

 'all'=21

 'and'=18

-'disj'=74

+'disj'=76

 'div'=31

 'else'=46

 'enum'=32

-'exactly'=75

+'exactly'=74

 'extends'=37

 'fact'=45

-'for'=72

+'for'=73

 'fun'=41

 'iden'=66

 'iff'=14

@@ -52,7 +53,7 @@
 'plus'=27

 'pred'=44

 'rem'=30

-'run'=71

+'run'=72

 'set'=26

 'sig'=36

 'some'=23

@@ -135,3 +136,4 @@ T__72=72
 T__73=73

 T__74=74

 T__75=75

+T__76=76