# HG changeset patch
# User wenzelm
# Date 1169298560 -3600
# Node ID cd3c167e6f19bf031e420cf522cdec2a151b21ef
# Parent  ab01073210e443579b0be8c4f3fb1d21e0f62c70
Toplevel.debug: coincide with Output.debugging;

diff -r ab01073210e4 -r cd3c167e6f19 src/Pure/Isar/toplevel.ML
--- a/src/Pure/Isar/toplevel.ML	Sat Jan 20 14:09:19 2007 +0100
+++ b/src/Pure/Isar/toplevel.ML	Sat Jan 20 14:09:20 2007 +0100
@@ -250,7 +250,7 @@
 (** toplevel transitions **)
 
 val quiet = ref false;
-val debug = ref false;
+val debug = Output.debugging;
 val interact = ref false;
 val timing = Output.timing;
 val profiling = ref 0;