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