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

---
 plugins/extraction/extract_env.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/extraction/extract_env.ml b/plugins/extraction/extract_env.ml
index 02383799a9..f7d78551d8 100644
--- a/plugins/extraction/extract_env.ml
+++ b/plugins/extraction/extract_env.ml
@@ -163,7 +163,8 @@ let expand_mexpr env mpo me =
 
 let expand_modtype env mp me =
   let inl = Some (Flags.get_inline_level()) in
-  Mod_typing.translate_modtype env mp inl ([],me)
+  let mtb, _cst = Mod_typing.translate_modtype env mp inl ([],me) in
+  mtb
 
 let no_delta = Mod_subst.empty_delta_resolver
 
-- 
cgit v1.2.3