1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Lexer.mll b/lib/Lexer.mll
index a8410d0..3f178f5 100644
--- a/lib/Lexer.mll
+++ b/lib/Lexer.mll
@@ -20,13 +20,13 @@ rule lex =
   | "," { COMMA }
   | "." { DOT }
   | "=>" { FATARROW }
-  | "bool" { BOOL }
-  | "true" { TRUE }
-  | "false" { FALSE }
-  | "bool-elim" { BOOL_ELIM }
   | "at" { AT }
   | "fst" { FST }
   | "snd" { SND }
   | "type" { TYPE }
+  | "bool" { BOOL }
+  | "true" { TRUE }
+  | "false" { FALSE }
+  | "bool-elim" { BOOL_ELIM }
   | ident { IDENT (Lexing.lexeme lexbuf) }
   | eof { EOF }