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/safe_typing.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/safe_typing.mli')

diff --git a/kernel/safe_typing.mli b/kernel/safe_typing.mli
index b42746a882..58a583e169 100644
--- a/kernel/safe_typing.mli
+++ b/kernel/safe_typing.mli
@@ -195,6 +195,7 @@ type compiled_library
 type native_library = Nativecode.global list
 
 val module_of_library : compiled_library -> Declarations.module_body
+val univs_of_library : compiled_library -> Univ.ContextSet.t
 
 val start_library : DirPath.t -> ModPath.t safe_transformer
 
-- 
cgit v1.2.3