Commit 61195894 authored by MARCHE Claude's avatar MARCHE Claude

fix pb with non-utf8 source files

parent 272e253a
......@@ -585,9 +585,10 @@ let goal_task_text g =
task_text (S.goal_task g)
let file_contents f =
try
Sysutil.file_contents f
with Invalid_argument s -> s
let s = try Sysutil.file_contents f
with Invalid_argument s -> s
in try_convert s
let update_tabs a =
let task_text =
......
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