diff options
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;; - |