--- a/src/Pure/build-jars Mon Aug 12 17:11:27 2013 +0200
+++ b/src/Pure/build-jars Mon Aug 12 17:17:49 2013 +0200
@@ -40,6 +40,7 @@
PIDE/markup.scala
PIDE/markup_tree.scala
PIDE/protocol.scala
+ PIDE/query_operation.scala
PIDE/text.scala
PIDE/xml.scala
PIDE/yxml.scala