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