From ca3bc1725eac3b17fe26be50ea506318d5983984 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 19 May 2003 10:56:47 +0000
Subject: configure et make install s'occupent de CoqIde tout seuls

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4029 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/lib.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'library/lib.ml')

diff --git a/library/lib.ml b/library/lib.ml
index 985d9efba8..a4d6aaa221 100644
--- a/library/lib.ml
+++ b/library/lib.ml
@@ -441,7 +441,9 @@ let reset_name (loc,id) =
 
 let is_mod_node = function 
   | OpenedModule _ | OpenedModtype _ | OpenedSection _ 
-  | ClosedSection _ -> true | _ -> false
+  | ClosedSection _ -> true 
+  (* | Leaf o -> let t = object_tag o in t = "MODULE" || t = "MODULE TYPE" *)
+  | _ -> false
 
 (* Reset on a module or section name in order to bypass constants with 
    the same name *) 
-- 
cgit v1.2.3