src/Pure/Isar/outer_syntax.ML

--- a/src/Pure/Isar/outer_syntax.ML	Mon Dec 17 22:40:14 2007 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Mon Dec 17 23:26:27 2007 +0100
@@ -304,7 +304,7 @@
       |> Source.exhaust;
 
     val _ = if time then writeln ("\n**** Starting theory " ^ quote name ^ " ****") else ();
-    val _ = cond_timeit time (fn () =>
+    val _ = cond_timeit time "" (fn () =>
       ThyOutput.process_thy (#1 (get_lexicons ())) command_tags is_markup trs toks
       |> Buffer.content
       |> Present.theory_output name);