--- a/src/Pure/ML_Bootstrap.thy Wed Apr 06 17:17:05 2016 +0200
+++ b/src/Pure/ML_Bootstrap.thy Wed Apr 06 19:03:29 2016 +0200
@@ -10,6 +10,7 @@
begin
setup \<open>Context.theory_map ML_Env.init_bootstrap\<close>
+SML_import \<open>structure Thread_Data = Thread_Data_Virtual\<close>
ML \<open>
local