Commit 319c957e authored by MARCHE Claude's avatar MARCHE Claude

restore source coloring broken by previous commit

parent 92d8cb00
Pipeline #55673 passed with stages
in 48 minutes and 9 seconds
......@@ -415,7 +415,7 @@ let get_locations (task: Task.task) =
with Not_found ->
let path = Sysutil.relativize_filename session_dir f in
(* FIXME: this an abusive use of Sysutil.system_dependent_absolute_path *)
let g = Sysutil.system_dependent_absolute_path "" path in
let g = Sysutil.system_dependent_absolute_path session_dir path in
Hstr.replace file_cache f g;
g in
let color_loc ~color ~loc =
......
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