src/Pure/Isar/toplevel.ML
changeset 22135 cd3c167e6f19
parent 22095 07875394618e
child 22588 4a859d13ef83
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sat Jan 20 14:09:19 2007 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sat Jan 20 14:09:20 2007 +0100
     1.3 @@ -250,7 +250,7 @@
     1.4  (** toplevel transitions **)
     1.5  
     1.6  val quiet = ref false;
     1.7 -val debug = ref false;
     1.8 +val debug = Output.debugging;
     1.9  val interact = ref false;
    1.10  val timing = Output.timing;
    1.11  val profiling = ref 0;