oops, bad regexp

ucsd-progsys · Feb 11, 2015 · 57f35df · 57f35df
1 parent 7674ade
commit 57f35df
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/external/fixpoint/fixLex.mll b/external/fixpoint/fixLex.mll
@@ -161,7 +161,7 @@ rule token = parse
   | (digit)+	          { Num  (safe_int_of_string (Lexing.lexeme lexbuf)) }
   | (alphlet)letdig*	  { Id    (Lexing.lexeme lexbuf) }
   | '''[^''']*'''       { Id (snip_begin_end (Lexing.lexeme lexbuf)) }
-  | '"'[^'"']*'"'       { Stringlit (snip_begin_end (Lexing.lexeme lexbuf)) }
+  | '"'[^'"']*'"'       { StringLit (snip_begin_end (Lexing.lexeme lexbuf)) }
   | eof			            { EOF }
   | _			              { begin
                             lexerror ("Illegal Character '" ^ 

diff --git a/external/fixpoint/fixpoint.native-x86_64-darwin b/external/fixpoint/fixpoint.native-x86_64-darwin