diff options
Diffstat (limited to 'kernel/modops.mli')
| -rw-r--r-- | kernel/modops.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/modops.mli b/kernel/modops.mli index c209eac1aa..d7cdb59ac3 100644 --- a/kernel/modops.mli +++ b/kernel/modops.mli @@ -49,7 +49,7 @@ val add_signature : (* adds a module and its components, but not the constraints *) val add_module : - module_path -> module_body -> env -> env + module_path -> module_body -> env -> env val check_modpath_equiv : env -> module_path -> module_path -> unit |