# HG changeset patch
# User wenzelm
# Date 1319662240 -7200
# Node ID a42624e9de091586883a67a5a7d89d02a75a71bb
# Parent  66823a0066db163da40563371c0710970988c514
tuned;

diff -r 66823a0066db -r a42624e9de09 src/Tools/Code/code_runtime.ML
--- a/src/Tools/Code/code_runtime.ML	Tue Oct 25 16:37:11 2011 +0200
+++ b/src/Tools/Code/code_runtime.ML	Wed Oct 26 22:50:40 2011 +0200
@@ -422,7 +422,7 @@
     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 thy'' = Context.the_theory (Context.the_thread_data ());
     val names = Loaded_Values.get thy'';
   in (names, thy'') end;