diff options
Diffstat (limited to '')
| -rw-r--r-- | bin/c11.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/c11.l b/bin/c11.l index 21e7d44b..dec4cce5 100644 --- a/bin/c11.l +++ b/bin/c11.l @@ -44,7 +44,7 @@ sizeof|(_A|alignof) { } ([1-9][0-9]*|"0"[0-7]*|"0x"[[:xdigit:]]+)([ulUL]{0,3}) | -[0-9]*("."[0-9]*)?([eE][+-]?[0-9]+)?[flFL]? | +([0-9]+("."[0-9]*)?|[0-9]*"."[0-9]+)([eE][+-]?[0-9]+)?[flFL]? | "0x"[[:xdigit:]]*("."[[:xdigit:]]*)?([pP][+-]?[0-9]+)[flFL]? { return Number; } |