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 | |
| 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')
| -rw-r--r-- | cparser/Elab.ml | 2 | ||||
| -rw-r--r-- | cparser/Lexer.mll | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 3c754dd6..c5295347 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -21,7 +21,7 @@ open Machine open Cabs open C open Diagnostics -open !Cutil +open! Cutil (** * Utility functions *) 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'] |