src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Dec 11 19:25:35 2018 +0100
+++ b/src/Pure/ROOT.ML	Tue Dec 11 21:23:02 2018 +0100
@@ -318,7 +318,6 @@
 subsection "Isabelle/Isar system";
 
 ML_file "System/command_line.ML";
-ML_file "System/system_channel.ML";
 ML_file "System/message_channel.ML";
 ML_file "System/isabelle_process.ML";
 ML_file "System/invoke_scala.ML";