wip

Deducteam · Nov 17, 2024 · 8375301 · 8375301
1 parent cb7bc1d
commit 8375301
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/parsing/lexer.mll b/parsing/lexer.mll
@@ -21,7 +21,7 @@
 }
 
 let space   = [' ' '\t' '\r']
-let letter = ['a'-'z' 'A'-'Z' '0'-'9' '_' '!' '?' '\'' '+' '*' '~' '&' '^' '@' '=' '$' '%' '/' '<' '|' '-' '\\']
+let letter = ['a'-'z' 'A'-'Z' '0'-'9' '_' '!' '?' '\'' '+' '*' '~' '&' '^' '@' '=' '$' '%' '/' '<' '|' '-' '\\' '>']
 let mident = ['a'-'z' 'A'-'Z' '0'-'9' '_']+
 let ident = letter+