--- a/src/Pure/ROOT Mon Aug 05 16:12:03 2013 +0200
+++ b/src/Pure/ROOT Mon Aug 05 17:14:02 2013 +0200
@@ -158,6 +158,7 @@
"PIDE/execution.ML"
"PIDE/markup.ML"
"PIDE/protocol.ML"
+ "PIDE/query_operation.ML"
"PIDE/xml.ML"
"PIDE/yxml.ML"
"Proof/extraction.ML"