src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Fri Sep 28 15:45:03 2012 +0200
+++ b/src/Pure/PIDE/protocol.ML	Fri Sep 28 16:51:58 2012 +0200
@@ -60,6 +60,7 @@
               |> YXML.string_of_body);
 
         val _ = Goal.cancel_futures ();
+        val _ = Isabelle_Process.reset_tracing_limits ();
         val _ = Document.start_execution state';
       in state' end));