From 335c779987e4b845e6700d5df81fe248e6e940f7 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 7 May 2008 16:06:26 +0000
Subject: export Extract_env.mono_environment in the mli for debug / external
 output via coqtop.byte + Drop

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10895 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/extract_env.mli | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/contrib/extraction/extract_env.mli b/contrib/extraction/extract_env.mli
index baf79573fb..bf470d0968 100644
--- a/contrib/extraction/extract_env.mli
+++ b/contrib/extraction/extract_env.mli
@@ -16,3 +16,8 @@ open Libnames
 val simple_extraction : reference -> unit
 val full_extraction : string option -> reference list -> unit
 val extraction_library : bool -> identifier -> unit
+
+(* For debug / external output via coqtop.byte + Drop : *)
+
+val mono_environment : 
+ global_reference list -> module_path list -> Miniml.ml_structure
-- 
cgit v1.2.3