diff options
Diffstat (limited to 'stdlib/format.ml')
| -rw-r--r-- | stdlib/format.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/format.ml b/stdlib/format.ml index 9cb9a1afd3..28bb5f1c59 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -1148,7 +1148,7 @@ 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 -> + | '@' | '%' as c -> pp_print_as_char c; doprn n (succ i) | _ -> invalid_format fmt i |