src/Pure/Isar/toplevel.ML
changeset 39513 fce2202892c4
parent 39285 85728a4b5620
child 40132 7ee65dbffa31
     1.1 --- a/src/Pure/Isar/toplevel.ML	Fri Sep 17 21:50:44 2010 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Fri Sep 17 22:17:57 2010 +0200
     1.3 @@ -215,7 +215,7 @@
     1.4  (** toplevel transitions **)
     1.5  
     1.6  val quiet = Unsynchronized.ref false;
     1.7 -val debug = Output.debugging;
     1.8 +val debug = Runtime.debug;
     1.9  val interact = Unsynchronized.ref false;
    1.10  val timing = Output.timing;
    1.11  val profiling = Unsynchronized.ref 0;