changeset 62668 | 360d3464919c |
parent 62663 | bea354f6ff21 |
child 62800 | 7ac100f86863 |
--- a/src/Pure/ML/ml_compiler.ML Fri Mar 18 17:51:57 2016 +0100 +++ b/src/Pure/ML/ml_compiler.ML Fri Mar 18 17:58:19 2016 +0100 @@ -144,7 +144,6 @@ fun eval (flags: flags) pos toks = let - val _ = Secure.deny_ml (); val space = ML_Env.make_name_space {SML = #SML flags, exchange = #exchange flags}; val opt_context = Context.thread_data ();