From 7a4e7dfbaa8dc3fa92931c4bfa39d268940e08f8 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 16 Apr 2020 23:06:35 +0200
Subject: Remove mod_constraints field of module body

---
 checker/safe_checking.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/safe_checking.ml')

diff --git a/checker/safe_checking.ml b/checker/safe_checking.ml
index 524ffbc022..b5beab532e 100644
--- a/checker/safe_checking.ml
+++ b/checker/safe_checking.ml
@@ -14,7 +14,7 @@ open Environ
 let import senv clib univs digest =
   let mb = Safe_typing.module_of_library clib in
   let env = Safe_typing.env_of_safe_env senv in
-  let env = push_context_set ~strict:true mb.mod_constraints env in
+  let env = push_context_set ~strict:true (Safe_typing.univs_of_library clib) env in
   let env = push_context_set ~strict:true univs env in
   let env = Modops.add_retroknowledge mb.mod_retroknowledge env in
   Mod_checking.check_module env mb.mod_mp mb;
-- 
cgit v1.2.3