Toplevel.debug: coincide with Output.debugging;
authorwenzelm
Sat Jan 20 14:09:20 2007 +0100 (2007-01-20 ago)
changeset 22135cd3c167e6f19
parent 22134 ab01073210e4
child 22136 faff42afeacd
Toplevel.debug: coincide with Output.debugging;
src/Pure/Isar/toplevel.ML
     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;