diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/parser_helper.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser_helper.ml b/src/parser_helper.ml index d798e14..2a8d2c5 100644 --- a/src/parser_helper.ml +++ b/src/parser_helper.ml @@ -850,6 +850,7 @@ let check_format_a_la_printf s pos = let contexts = match s.[i' + 1] with | '%' -> contexts + | 'f' -> M_float :: contexts | 'd' -> M_int :: contexts | 's' | 'c' -> M_string :: contexts | c -> warn [Warn_strange] (pos + i', pos + i') (sprintf "invalid command %%%c" c); contexts |