diff options
Diffstat (limited to 'stdlib/printf.mli')
| -rw-r--r-- | stdlib/printf.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/printf.mli b/stdlib/printf.mli index fac8a9fa5..1a19081fd 100644 --- a/stdlib/printf.mli +++ b/stdlib/printf.mli @@ -119,4 +119,4 @@ val kprintf : (string -> 'a) -> ('b, unit, string, 'a) format -> 'b val scan_format : string -> int -> (string -> int -> 'a) -> ('b -> 'c -> int -> 'a) -> - ('e -> int -> 'a) -> 'a + ('e -> int -> 'a) -> (int -> 'a) -> 'a |