src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Sep 21 22:18:17 2011 +0200
+++ b/src/Pure/ROOT.ML	Thu Sep 22 20:33:08 2011 +0200
@@ -267,6 +267,7 @@
 (* Isabelle/Isar system *)
 
 use "System/session.ML";
+use "System/system_channel.ML";
 use "System/isabelle_process.ML";
 use "System/invoke_scala.ML";
 use "PIDE/isar_document.ML";