src/Pure/ROOT.ML
changeset 45709 87017fcbad83
parent 45672 a497c5d4a523
child 47057 12423b36fcc4
--- a/src/Pure/ROOT.ML	Thu Dec 01 13:34:16 2011 +0100
+++ b/src/Pure/ROOT.ML	Thu Dec 01 14:29:14 2011 +0100
@@ -270,7 +270,7 @@
 use "System/system_channel.ML";
 use "System/isabelle_process.ML";
 use "System/invoke_scala.ML";
-use "PIDE/isabelle_document.ML";
+use "PIDE/protocol.ML";
 use "System/isar.ML";