src/Tools/Code/code_runtime.ML

     val _ = Context.set_thread_data ((SOME o Context.Theory) thy');
     val _ = Secure.use_text notifying_context
       (0, Path.implode filepath) false (File.read filepath);
     val thy'' = (Context.the_theory o the) (Context.thread_data ());
     val names = Loaded_Values.get thy'';
-    val thy''' = Thy_Load.provide_file filepath thy'';
-  in (names, thy''') end;
+  in (names, thy'') end;
 
 end;
 
 fun add_definiendum (ml_name, (b, T)) thy =
   thy