From 582b5147cb79267ce79c03718cb3575826dc831c Mon Sep 17 00:00:00 2001
From: notin
Date: Tue, 23 May 2006 17:52:43 +0000
Subject: Modification de add_glob (support des modules dans Coqdoc)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8852 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/constrintern.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 9e6cbaf447..5f358e6944 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -39,8 +39,8 @@ let interning_grammar = ref false
 let for_grammar f x =
   interning_grammar := true;
   let a = f x in
-  interning_grammar := false;
-  a
+    interning_grammar := false;
+    a
 
 let variables_bind = ref false
 
@@ -140,7 +140,7 @@ let coqdoc_unfreeze (lt,tn,lp) =
 
 let add_glob loc ref = 
   let sp = Nametab.sp_of_global ref in
-  let lib_dp = Lib.library_dp() in
+  let lib_dp = Lib.library_part ref in
   let mod_dp,id = repr_path sp in
   let mod_dp_trunc =  drop_dirpath_prefix lib_dp mod_dp in
   let filepath = string_of_dirpath lib_dp in
-- 
cgit v1.2.3