From e280c8edf8d49f50b9022e20f0ac5f104f123c67 Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 23 Nov 2005 17:21:53 +0000
Subject: bug de coqide sous windows (bad file descriptor)

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

(limited to 'ide/coq.ml')

diff --git a/ide/coq.ml b/ide/coq.ml
index eeb31e1ae..0e208028c 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -95,10 +95,10 @@ let is_in_coq_path f =
   let _ = Library.locate_qualified_library 
 	    (Libnames.make_qualid Names.empty_dirpath 
 	       (Names.id_of_string base)) in
-  prerr_endline (f ^ "is in coq path");
+  prerr_endline (f ^ " is in coq path");
   true
   with _ ->  
-    prerr_endline (f ^ "is NOT in coq path");
+    prerr_endline (f ^ " is NOT in coq path");
     false  
 
 let is_in_proof_mode () = 
-- 
cgit v1.2.3