src/Pure/ML/ml_context.ML
changeset 76884 a004c5322ea4
parent 76880 6a07cf09604d
child 78035 bd5f6cee8001
--- a/src/Pure/ML/ml_context.ML	Tue Jan 03 15:42:25 2023 +0100
+++ b/src/Pure/ML/ml_context.ML	Tue Jan 03 16:05:07 2023 +0100
@@ -205,7 +205,7 @@
 (* derived versions *)
 
 fun eval_file flags path =
-  let val pos = Position.file (Path.implode_symbolic path)
+  let val pos = Position.file (File.symbolic_path path)
   in eval flags pos (ML_Lex.read_text (File.read path, pos)) end;
 
 fun eval_source flags source =