src/Pure/System/session.scala

--- a/src/Pure/System/session.scala	Fri Jan 18 16:20:09 2013 +0100
+++ b/src/Pure/System/session.scala	Fri Jan 18 17:51:50 2013 +0100
@@ -364,6 +364,9 @@
         case Markup.ML_Statistics(props) if output.is_protocol =>
           statistics.event(Session.Statistics(props))
 
+        case Markup.Task_Statistics(props) if output.is_protocol =>
+          // FIXME
+
         case _ if output.is_init =>
           phase = Session.Ready