--- a/src/Pure/ROOT.ML Thu Jul 11 12:28:24 2013 +0200
+++ b/src/Pure/ROOT.ML Thu Jul 11 14:42:11 2013 +0200
@@ -267,6 +267,7 @@
use "Isar/outer_syntax.ML";
use "General/graph_display.ML";
use "Thy/present.ML";
+use "PIDE/exec.ML";
use "PIDE/command.ML";
use "Thy/thy_load.ML";
use "Thy/thy_info.ML";