From 74daa5391b3076b815b7f2f916ed6675d98c3c25 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto
Date: Thu, 6 Mar 2014 16:48:46 +0100
Subject: remove trailing '\r' from file names returned by coqtop

---
 ide/coq.ml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ide/coq.ml b/ide/coq.ml
index a7535bfabd..280f1df68e 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -52,6 +52,12 @@ let version () =
 let rec read_all_lines in_chan =
   try
     let arg = input_line in_chan in
+    let len = String.length arg  in
+    let arg =
+      if arg.[len - 1] = '\r' then
+	String.sub arg 0 (len - 1)
+      else arg
+    in
     arg::(read_all_lines in_chan)
   with End_of_file -> []
 
-- 
cgit v1.2.3