src/Pure/System/isabelle_tool.ML

--- a/src/Pure/System/isabelle_tool.ML	Tue Jan 03 15:42:25 2023 +0100
+++ b/src/Pure/System/isabelle_tool.ML	Tue Jan 03 16:05:07 2023 +0100
@@ -17,7 +17,7 @@
 
 fun symbolic_file (a, b) =
   if a = Markup.fileN
-  then (a, Path.explode b |> Path.implode_symbolic)
+  then (a, File.symbolic_path (Path.explode b))
   else (a, b);
 
 fun isabelle_tools () =