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

---
 kernel/environ.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'kernel/environ.ml')

diff --git a/kernel/environ.ml b/kernel/environ.ml
index de8692ff21..93f1b051ab 100644
--- a/kernel/environ.ml
+++ b/kernel/environ.ml
@@ -279,6 +279,9 @@ let indices_matter env = env.env_typing_flags.indices_matter
 let universes env = env.env_stratification.env_universes
 let universes_lbound env = env.env_stratification.env_universes_lbound
 
+let set_universes g env =
+  {env with env_stratification = {env.env_stratification with env_universes=g}}
+
 let set_universes_lbound env lbound =
   let env_stratification = { env.env_stratification with env_universes_lbound = lbound } in
   { env with env_stratification }
-- 
cgit v1.2.3