diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2006-10-24 22:07:47 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2006-10-24 22:07:47 +0000 |
| commit | 5770271304e50e726b64080a8bb5f4bf6f5cd4f6 (patch) | |
| tree | bb300c81058d0433faaaacef21888469a4e8f56d /stdlib/printf.ml | |
| parent | ba75b851b496baefd296d427202414b657cb746b (diff) | |
Typechecking of user's defined readers.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/printf.ml')
| -rw-r--r-- | stdlib/printf.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/printf.ml b/stdlib/printf.ml index c06827415..7e459793b 100644 --- a/stdlib/printf.ml +++ b/stdlib/printf.ml @@ -184,7 +184,7 @@ let iter_on_format_args fmt add_conv add_char = | 'd' | 'i' |'o' | 'u' | 'x' | 'X' | 'N' -> add_conv skip i 'i' | 'f' | 'e' | 'E' | 'g' | 'G' | 'F' -> add_conv skip i 'f' | 'B' | 'b' -> add_conv skip i 'B' - | 'a' | 't' as conv -> add_conv skip i conv + | 'a' | 'r' | 't' as conv -> add_conv skip i conv | 'l' | 'n' | 'L' as conv -> let j = succ i in if j > lim then add_conv skip i 'i' else begin |