src/Pure/ML/ml_context.ML

--- a/src/Pure/ML/ml_context.ML	Tue Jan 03 12:58:00 2023 +0100
+++ b/src/Pure/ML/ml_context.ML	Tue Jan 03 14:00:59 2023 +0100
@@ -205,7 +205,7 @@
 (* derived versions *)
 
 fun eval_file flags path =
-  let val pos = Path.position path
+  let val pos = Position.file (Path.implode_symbolic path)
   in eval flags pos (ML_Lex.read_text (File.read path, pos)) end;
 
 fun eval_source flags source =