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 =