update format

rems-project · Jul 10, 2024 · a116c07 · a116c07
1 parent 042ae04
commit a116c07
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/lib/lexer.mll b/src/lib/lexer.mll
@@ -190,7 +190,7 @@ rule token comments = parse
       token comments lexbuf }
   | "@"                                 { At }
   | "2" ws "^"                          { TwoCaret }
-  | "^"					                        { Caret }
+  | "^"                                 { Caret }
   | "::"                                { ColonColon }
   | ":"                                 { Colon ":" }
   | ","                                 { Comma }
@@ -241,12 +241,11 @@ rule token comments = parse
       OpId op }
   | ((oper_char* oper_char_no_slash) as op) "/*" {
       block_comment comments (Lexing.lexeme_start_p lexbuf) (Buffer.create 10) 0 lexbuf;
-      if op = "=" then Eq "=" 
-      else OpId op
+      if op = "=" then Eq op else OpId op
     }
   | ((oper_char* oper_char_no_slash) as op) "//" {
       line_comment comments (Lexing.lexeme_start_p lexbuf) (Buffer.create 10) lexbuf;
-      if op = "=" then Eq "=" else OpId op
+      if op = "=" then Eq op else OpId op
     }
   | tyvar_start startident ident* as i    { TyVar i }
   | "~"                                   { Id "~" }