diff options
Diffstat (limited to 'typing/typetexp.mli')
| -rw-r--r-- | typing/typetexp.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typetexp.mli b/typing/typetexp.mli index d475b03e2d..1d90eb7591 100644 --- a/typing/typetexp.mli +++ b/typing/typetexp.mli @@ -95,7 +95,7 @@ val find_value: val find_class: Env.t -> Location.t -> Longident.t -> Path.t * class_declaration val find_module: - Env.t -> Location.t -> Longident.t -> Path.t * module_declaration + Env.t -> Location.t -> Longident.t -> Path.t val find_modtype: Env.t -> Location.t -> Longident.t -> Path.t * modtype_declaration val find_class_type: |