diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/format.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/stdlib/format.ml b/stdlib/format.ml index 9fa4785e0..e56955c2c 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -1179,9 +1179,6 @@ let mkprintf to_s get_out = print_as := Some size; doprn n (skip_gt i) in get_int n (succ i) got_size - | '@' | '%' as c -> - pp_print_as_char c; - doprn n (succ i) | _ -> invalid_format fmt i end | c -> |