1 files changed, 6 insertions, 0 deletions
diff --git a/ide/coq.ml b/ide/coq.ml
index a7535bfab..280f1df68 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 -> []