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

1 files changed, 1 insertions, 1 deletions

diff --git a/ide/coq.ml b/ide/coq.ml
index 834af186c..44dac6a94 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");