diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2008-07-01 09:55:52 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2008-07-01 09:55:52 +0000 |
| commit | 10b38811b6fdd4d37ad8fd93f17f58cb2884cd0e (patch) | |
| tree | 8d3cd452522295bbf1f5f1b0d34648a4e43d9064 /stdlib/printf.mli | |
| parent | 5abe61a5ade8c30c3c634748b2346ac88f3a8055 (diff) | |
Support for tk8.5: correcting tk_incs.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/printf.mli')
| -rw-r--r-- | stdlib/printf.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/stdlib/printf.mli b/stdlib/printf.mli index 6bd692d0b..3e6c7b169 100644 --- a/stdlib/printf.mli +++ b/stdlib/printf.mli @@ -200,4 +200,3 @@ module CamlinternalPr : sig end;; end;; - |