Lex: add qualifier

ethereum · Oct 23, 2023 · 5c62839 · 5c62839
1 parent 002f56d
commit 5c62839
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Lex.x b/src/Lex.x
@@ -98,9 +98,9 @@ tokens :-
   ")"                                   { mk RPAREN }
   "["                                   { mk LBRACK }
   "]"                                   { mk RBRACK }
-  "="                                   { mk EQ }
-  ">"                                   { mk GT }
-  "<"                                   { mk LT }
+  "="                                   { mk Lex.EQ }
+  ">"                                   { mk Lex.GT }
+  "<"                                   { mk Lex.LT }
   ":"                                   { mk COLON }
   "+"                                   { mk PLUS }
   "-"                                   { mk MINUS }