diff -r 254582abf067 -r 360d3464919c src/Pure/ML/ml_compiler.ML
--- 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 ();