src/Pure/Isar/outer_syntax.ML

--- a/src/Pure/Isar/outer_syntax.ML	Sun Mar 20 21:20:07 2011 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Sun Mar 20 21:28:11 2011 +0100
@@ -271,7 +271,7 @@
 fun load_thy name init pos text =
   let
     val (lexs, commands) = get_syntax ();
-    val time = ! Output.timing;
+    val time = ! Toplevel.timing;
 
     val _ = Present.init_theory name;