From 08fee2be6656ba20b38f86396c92a7e85f3ba03e Mon Sep 17 00:00:00 2001
From: mohring
Date: Fri, 2 Feb 2001 12:07:31 +0000
Subject: Retire le warning stat

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

(limited to 'lib')

diff --git a/lib/system.ml b/lib/system.ml
index ae7784bf52..d3b2229227 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -35,9 +35,7 @@ let all_subdirs root alias =
 	      add file newrel;
 	      traverse file newrel
 	    end
-	  with Unix_error (e,s1,s2) ->
-	    (Printf.printf "Warning while scanning load path:\n%s: %s\n"
-	      s2 (error_message e); flush Pervasives.stdout)
+	  with Unix_error (e,s1,s2) -> ()
       done
     with End_of_file ->
       closedir dirh
-- 
cgit v1.2.3