From c5de2c3a2aa96c468e7583577141a93e359a9baf Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 12 May 2016 00:48:25 +0200
Subject: Fix bug #4722: Coq dies when encountering broken symbolic links.

---
 lib/system.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/system.ml')

diff --git a/lib/system.ml b/lib/system.ml
index 205a5506cb..b4b3882d33 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -35,7 +35,7 @@ let all_subdirs ~unix_path:root =
     Array.iter (fun f ->
       if ok_dirname f then
 	let file = Filename.concat dir f in
-        if Sys.is_directory file then begin
+        if exists_dir file then begin
           let newrel = rel @ [f] in
 	  add file newrel;
 	  traverse file newrel
-- 
cgit v1.2.3