From 0736befd45671875d4c9761fc42f38766a14493b Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 9 Jun 2015 08:06:43 +0200
Subject: Support CRLF end of line in fake_ide.

---
 tools/fake_ide.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml
index d7a292f4cf..a9a7251c51 100644
--- a/tools/fake_ide.ml
+++ b/tools/fake_ide.ml
@@ -90,7 +90,7 @@ module Parser = struct (* {{{ *)
       in find ~-1 0
     else raise (Err ("Balanced "^String.make 1 c^" not found in: "^s))
 
-  let eat_blanks s = snd (eat_rex "[ \n\t]*") s
+  let eat_blanks s = snd (eat_rex "[ \r\n\t]*") s
 
   let s = ref ""
 
-- 
cgit v1.2.3