diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 15:24:12 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 15:30:00 +0200 |
commit | 94d5da57acadbaee825347da527e3aacfca2cd9d (patch) | |
tree | c535a9d9e7f15decf9079878c4a8e2a0a688a02c /cparser | |
parent | 75a2885f610e1d6e91df8e2386a4a4559b615bb9 (diff) | |
parent | 9eccbd39710aab5d6bfe021c57f50a1916d37f70 (diff) | |
download | compcert-kvx-94d5da57acadbaee825347da527e3aacfca2cd9d.tar.gz compcert-kvx-94d5da57acadbaee825347da527e3aacfca2cd9d.zip |
Merge remote-tracking branch 'absint/master' into kvx-work
Diffstat (limited to 'cparser')
-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 47ae6059..7a2974eb 100644 --- a/cparser/Lexer.mll +++ b/cparser/Lexer.mll @@ -394,7 +394,7 @@ and string_literal startp accu = parse (* We assume gcc -E syntax but try to tolerate variations. *) and hash = parse | whitespace_char_no_newline + - (decimal_constant as n) + (digit + as n) whitespace_char_no_newline * "\"" ([^ '\n' '\"']* as file) "\"" [^ '\n']* '\n' |