From 2bad3607d52b827518f45ef1c0049b6fb4d45112 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 20 Nov 2000 08:38:45 +0000
Subject: Une capsule pour save_module_to dans Discharge

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@854 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/vernac.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/vernac.ml b/toplevel/vernac.ml
index 7997b24516..735724aed0 100644
--- a/toplevel/vernac.ml
+++ b/toplevel/vernac.ml
@@ -132,7 +132,7 @@ and raw_compile_module verbosely only_spec mname file =
   if only_spec then
     failwith ".vi not yet implemented"
   else 
-    Library.save_module_to mname base
+    Discharge.save_module_to mname base
 
 and read_vernac_file verbosely s =
   let interpfun =
-- 
cgit v1.2.3