src/Pure/ROOT.ML
changeset 48681 181b91e1d1c1
parent 48646 91281e9472d8
child 48732 f04320479ff9
--- a/src/Pure/ROOT.ML	Sun Aug 05 13:23:54 2012 +0200
+++ b/src/Pure/ROOT.ML	Sun Aug 05 13:42:21 2012 +0200
@@ -268,6 +268,7 @@
 (* Isabelle/Isar system *)
 
 use "System/session.ML";
+use "System/command_line.ML";
 use "System/build.ML";
 use "System/system_channel.ML";
 use "System/isabelle_process.ML";