diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-25 10:45:53 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-25 10:45:53 +0100 |
| commit | f78d61faf3db94ac1704ce0d11291211b5307629 (patch) | |
| tree | 1b49a8f9ec74d1f185ef814812d8e73725458d97 /cparser/Lexer.mll | |
| parent | 424df9761ae4f3c9ce91ba785aef111bedd9125a (diff) | |
| parent | 54b76c596048ac5b5a6a825d5d5595d4ea916a2e (diff) | |
| download | compcert-kvx-f78d61faf3db94ac1704ce0d11291211b5307629.tar.gz compcert-kvx-f78d61faf3db94ac1704ce0d11291211b5307629.zip | |
Merge branch 'mppa-work' into mppa-thread
Diffstat (limited to 'cparser/Lexer.mll')
| -rw-r--r-- | cparser/Lexer.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Lexer.mll b/cparser/Lexer.mll index 2266a874..b36b3e81 100644 --- a/cparser/Lexer.mll +++ b/cparser/Lexer.mll @@ -178,7 +178,7 @@ let identifier_nondigit = let identifier = identifier_nondigit (identifier_nondigit|digit)* (* Whitespaces *) -let whitespace_char_no_newline = [' ' '\t' '\012' '\r'] +let whitespace_char_no_newline = [' ' '\t' '\011' '\012' '\r'] (* Integer constants *) let nonzero_digit = ['1'-'9'] |