From 43c7d7c8b7193bf29c8e1c69cca969fb9a2fc3d4 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 1 Jul 2008 09:47:12 +0000
Subject: Encore une suite au 11188/11193 (c'était pas un bon jour)

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

diff --git a/ide/coq.ml b/ide/coq.ml
index 834af186c5..44dac6a946 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -98,7 +98,7 @@ let is_in_loadpath dir =
 let is_in_coq_path f = 
   try 
   let base = Filename.chop_extension (Filename.basename f) in
-  let _ = Library.locate_qualified_library 
+  let _ = Library.locate_qualified_library false
 	    (Libnames.make_qualid Names.empty_dirpath 
 	       (Names.id_of_string base)) in
   prerr_endline (f ^ " is in coq path");
-- 
cgit v1.2.3