summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--NEWS1
-rw-r--r--src/parser_helper.ml1
2 files changed, 2 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 735b2a8..1957db0 100644
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,7 @@
o add XML::LibXML::Reader for urpmi
- perl_checker:
o recognize binmode()
+ o recognize "%f" in printf strings
Version 1.2.18 - 26 March 2012, by Thierry Vignaud
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