diff options
| -rw-r--r-- | tools/gallina_lexer.mll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/gallina_lexer.mll b/tools/gallina_lexer.mll index 4d05688c3b..0dc012b525 100644 --- a/tools/gallina_lexer.mll +++ b/tools/gallina_lexer.mll @@ -22,8 +22,8 @@ } -let space = [' ' '\t' '\n'] -let enddot = '.' (' ' | '\t' | '\n' | eof) +let space = [' ' '\t' '\n' '\r'] +let enddot = '.' (' ' | '\t' | '\n' | '\r' | eof) rule action = parse | "Theorem" space { print "Theorem "; body lexbuf; |