diff options
Diffstat (limited to 'kernel/subtyping.mli')
| -rw-r--r-- | kernel/subtyping.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/subtyping.mli b/kernel/subtyping.mli index d7288fc06..c0b1ee5d3 100644 --- a/kernel/subtyping.mli +++ b/kernel/subtyping.mli @@ -14,6 +14,6 @@ open Declarations open Environ (*i*) -val check_subtypes : env -> struct_expr_body -> struct_expr_body -> constraints +val check_subtypes : env -> module_type_body -> module_type_body -> constraints |