--- a/src/Pure/ROOT Mon Aug 11 22:59:38 2014 +0200
+++ b/src/Pure/ROOT Tue Aug 12 00:08:32 2014 +0200
@@ -160,6 +160,7 @@
"ML/ml_syntax.ML"
"PIDE/active.ML"
"PIDE/command.ML"
+ "PIDE/command_span.ML"
"PIDE/document.ML"
"PIDE/document_id.ML"
"PIDE/execution.ML"