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/mod_checking.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'checker/mod_checking.ml')

diff --git a/checker/mod_checking.ml b/checker/mod_checking.ml
index 44b7089fd0..e3cca50f06 100644
--- a/checker/mod_checking.ml
+++ b/checker/mod_checking.ml
@@ -84,7 +84,6 @@ let mk_mtb mp sign delta =
     mod_expr = ();
     mod_type = sign;
     mod_type_alg = None;
-    mod_constraints = Univ.ContextSet.empty;
     mod_delta = delta;
     mod_retroknowledge = ModTypeRK; }
 
-- 
cgit v1.2.3