Commit 27bb4691 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Make sure we remove \r at the end of lines when reading file (because of win32)

parent 3009f412
......@@ -922,7 +922,7 @@ let (rm_dir : out_channel -> string -> unit) =
let (get_io_from_lustre : string -> string option -> (string * string) list * (string * string) list) =
fun file node_opt ->
try
let str = readfile file in
let str = readfile_rm_crtl_m file in
let i =
match node_opt with
None ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment