src/Pure/ML/ml_compiler.ML

 (* eval ML source tokens *)
 
 fun eval (flags: flags) pos toks =
   let
     val _ = Secure.deny_ml ();
-    val space = ML_Env.name_space {SML = #SML flags, exchange = #exchange flags};
+    val space = ML_Env.make_name_space {SML = #SML flags, exchange = #exchange flags};
     val opt_context = Context.thread_data ();
 
 
     (* input *)