diff -r 2cc6eab90cdf -r 33c92722cc3d src/Pure/PIDE/protocol.ML
--- a/src/Pure/PIDE/protocol.ML	Thu Dec 13 18:15:53 2012 +0100
+++ b/src/Pure/PIDE/protocol.ML	Thu Dec 13 19:53:55 2012 +0100
@@ -60,7 +60,7 @@
               |> YXML.string_of_body);
 
         val _ = List.app Future.cancel_group (Goal.reset_futures ());
-        val _ = Isabelle_Process.reset_tracing_limits ();
+        val _ = Isabelle_Process.reset_tracing ();
         val _ = Document.start_execution state';
       in state' end));