src/Pure/System/isabelle_process.ML
changeset 39513 fce2202892c4
parent 39509 cab2719398a7
child 39528 c01d89d18ff0
     1.1 --- a/src/Pure/System/isabelle_process.ML	Fri Sep 17 21:50:44 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Fri Sep 17 22:17:57 2010 +0200
     1.3 @@ -109,7 +109,6 @@
     1.4      Output.tracing_fn  := standard_message out_stream true "E";
     1.5      Output.warning_fn  := standard_message out_stream true "F";
     1.6      Output.error_fn    := standard_message out_stream true "G";
     1.7 -    Output.debug_fn    := standard_message out_stream true "H";
     1.8      Output.priority_fn := ! Output.writeln_fn;
     1.9      Output.prompt_fn   := ignore;
    1.10      (in_stream, out_stream)