Safe_typing: add clean_bounded_mod_expr in Include Self of modtype (fix

#4331)
coq · Oct 26, 2015 · 6b5df37 · 6b5df37
1 parent 51b9987
commit 6b5df37
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/kernel/safe_typing.ml b/kernel/safe_typing.ml
@@ -469,7 +469,8 @@ let end_module l restype senv =
        let mtb = 
 	 translate_module_type senv.env 
 	   senv.modinfo.modpath inl me in
-       mtb.typ_expr,mtb.typ_constraints,mtb.typ_delta
+       let sign = Modops.clean_bounded_mod_expr mtb.typ_expr in
+       sign,mtb.typ_constraints,mtb.typ_delta
    in
    let senv = add_constraints cst senv in
    let mp_sup = senv.modinfo.modpath in