src/Pure/ROOT.ML
changeset 52584 5cad4a5f5615
parent 52537 4b5941730bd8
child 52596 40298d383463
--- a/src/Pure/ROOT.ML	Wed Jul 10 22:56:48 2013 +0200
+++ b/src/Pure/ROOT.ML	Wed Jul 10 23:25:28 2013 +0200
@@ -288,6 +288,7 @@
 use "System/session.ML";
 use "System/command_line.ML";
 use "System/system_channel.ML";
+use "System/message_channel.ML";
 use "System/isabelle_process.ML";
 use "System/invoke_scala.ML";
 use "PIDE/protocol.ML";