diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2003-02-28 06:59:19 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2003-02-28 06:59:19 +0000 |
commit | b5d0102c0510ceba7d593d02fffd20ff4fea7957 (patch) | |
tree | eed71244584524deb4bbf3572b9a6a1237aaba99 /stdlib/printf.mli | |
parent | 0483c6ac9208c07c5fd24a587d00066d1523b26f (diff) |
Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dans Camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 |