--- a/src/Pure/ProofGeneral/proof_general_pgip.ML Fri Sep 17 21:50:44 2010 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML Fri Sep 17 22:17:57 2010 +0200
@@ -166,8 +166,7 @@
Output.priority_fn := (fn s => normalmsg Status s);
Output.tracing_fn := (fn s => normalmsg Tracing s);
Output.warning_fn := (fn s => errormsg Message Warning s);
- Output.error_fn := (fn s => errormsg Message Fatal s);
- Output.debug_fn := (fn s => errormsg Message Debug s));
+ Output.error_fn := (fn s => errormsg Message Fatal s));
(* immediate messages *)