--- a/src/Pure/ML/ML_Root.thy Tue Apr 05 18:18:36 2016 +0200
+++ b/src/Pure/ML/ML_Root.thy Tue Apr 05 18:20:25 2016 +0200
@@ -10,6 +10,8 @@
and "use_thy" :: thy_load
begin
+setup \<open>Context.theory_map ML_Env.init_bootstrap\<close>
+
ML \<open>
local