diff -r 7b6ee937b75f -r 3d16bebee1d3 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu Aug 19 12:41:40 2010 +0200
+++ b/src/Pure/ROOT.ML	Thu Aug 19 12:51:48 2010 +0200
@@ -257,7 +257,7 @@
 
 use "System/session.ML";
 use "System/isabelle_process.ML";
-use "System/isar_document.ML";
+use "PIDE/isar_document.ML";
 use "System/isar.ML";