From bad0063344bb14f1b457dbae7a9045d9e831f8ae Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 1 Dec 1999 10:54:05 +0000
Subject: portage Vernacentries (debut)

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

(limited to 'toplevel/mltop.ml')

diff --git a/toplevel/mltop.ml b/toplevel/mltop.ml
index 3928f6354..1f15fe0f1 100644
--- a/toplevel/mltop.ml
+++ b/toplevel/mltop.ml
@@ -222,7 +222,7 @@ let (inMLModule,outMLModule) =
                     specification_function = specification_ml_module_object })
 
 let declare_ml_modules l =
-  Lib.add_anonymous_leaf (inMLModule {mnames=l})
+  let _ = Lib.add_anonymous_leaf (inMLModule {mnames=l}) in ()
     
 let print_ml_path () =
   let l = !coq_mlpath_copy in
-- 
cgit v1.2.3