diff -r a95440dcd59c -r 341ae9cd4743 src/Pure/Thy/thy_load.ML
--- a/src/Pure/Thy/thy_load.ML	Fri Jul 05 17:09:28 2013 +0200
+++ b/src/Pure/Thy/thy_load.ML	Fri Jul 05 18:37:44 2013 +0200
@@ -217,8 +217,7 @@
   let
     fun prepare_span span =
       Thy_Syntax.span_content span
-      |> Command.read
-      |> Toplevel.modify_init init
+      |> Command.read init
       |> (fn tr => Toplevel.put_timing (last_timing tr) tr);
 
     fun element_result span_elem (st, _) =