src/Pure/PIDE/command.scala

--- a/src/Pure/PIDE/command.scala	Thu Apr 10 14:27:35 2014 +0200
+++ b/src/Pure/PIDE/command.scala	Thu Apr 10 14:36:29 2014 +0200
@@ -207,11 +207,7 @@
                         case None => bad(); state
                       }
                     case None =>
-                      chunk_name match {
-                        // FIXME workaround for static positions stemming from batch build
-                        case Text.Chunk.File(name) if name.endsWith(".thy") =>
-                        case _ => bad()
-                      }
+                      // silently ignore excessive reports
                       state
                   }