diff options
Diffstat (limited to 'typing/printtyp.mli')
| -rw-r--r-- | typing/printtyp.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/printtyp.mli b/typing/printtyp.mli index 638f0ea863..c51a2be2fb 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -13,7 +13,7 @@ (* Printing functions *) -open Typedtree +open Types val longident: Longident.t -> unit val ident: Ident.t -> unit |