From 77d95ecd65a6bbebfcd89193fb3e2c43ebc6469a Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 27 Sep 2017 00:38:25 +0200
Subject: Avoid looping when searching for CoqProject.

This could happen with paths on Windows, or even relative paths on all
OSs.

Fixes #5730: CoqIDE becomes unresponsive on file open.
---
 lib/coqProject_file.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/coqProject_file.ml4 b/lib/coqProject_file.ml4
index 13de731f54..970666638c 100644
--- a/lib/coqProject_file.ml4
+++ b/lib/coqProject_file.ml4
@@ -206,7 +206,7 @@ let rec find_project_file ~from ~projfile_name =
   if Sys.file_exists fname then Some fname
   else
     let newdir = Filename.dirname from in
-    if newdir = "" || newdir = "/" then None
+    if newdir = from then None
     else find_project_file ~from:newdir ~projfile_name
 ;;
 
-- 
cgit v1.2.3