| changeset 56278 | 2576d3a40ed6 |
| parent 56275 | 600f432ab556 |
| child 56279 | b4d874f6c6be |
--- a/src/Pure/ML/ml_context.ML Tue Mar 25 15:15:33 2014 +0100 +++ b/src/Pure/ML/ml_context.ML Tue Mar 25 16:11:00 2014 +0100 @@ -176,7 +176,7 @@ in eval flags pos (ML_Lex.read pos (File.read path)) end; fun eval_source flags source = - eval flags (#pos source) (ML_Lex.read_source source); + eval flags (#pos source) (ML_Lex.read_source (#SML flags) source); fun eval_in ctxt flags pos ants = Context.setmp_thread_data (Option.map Context.Proof ctxt)