1 files changed, 30 insertions, 28 deletions
diff --git a/gen/ANFLexer.tokens b/gen/ANFLexer.tokens
index e34ce0c..901d4d0 100644
--- a/gen/ANFLexer.tokens
+++ b/gen/ANFLexer.tokens
@@ -22,31 +22,33 @@ T__20=21
 T__21=22
 T__22=23
 T__23=24
-IDENT=25
-NUMBER=26
-STRING=27
-WS=28
-'true'=1
-'false'=2
-'('=3
-'+'=4
-')'=5
-'-'=6
-'*'=7
-'/'=8
-'>'=9
-'<'=10
-'=='=11
-'<<'=12
-'>>'=13
-'&&'=14
-'||'=15
-'^^'=16
-','=17
-':'=18
-'let'=19
-'='=20
-'in'=21
-'if'=22
-'then'=23
-'else'=24
+T__24=25
+IDENT=26
+NUMBER=27
+STRING=28
+WS=29
+'def'=1
+'('=2
+','=3
+')'=4
+':'=5
+'true'=6
+'false'=7
+'+'=8
+'-'=9
+'*'=10
+'/'=11
+'>'=12
+'<'=13
+'=='=14
+'<<'=15
+'>>'=16
+'&&'=17
+'||'=18
+'^^'=19
+'let'=20
+'='=21
+'in'=22
+'if'=23
+'then'=24
+'else'=25