src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 44270 3eaad39e520c
parent 43548 f231a7594e54
child 44389 a3b5fdfb04a3
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Aug 18 17:30:47 2011 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu Aug 18 17:53:32 2011 +0200
     1.3 @@ -166,7 +166,7 @@
     1.4    Output.Private_Hooks.urgent_message_fn := (fn s => normalmsg Status s);
     1.5    Output.Private_Hooks.tracing_fn := (fn s => normalmsg Tracing s);
     1.6    Output.Private_Hooks.warning_fn := (fn s => errormsg Message Warning s);
     1.7 -  Output.Private_Hooks.error_fn := (fn s => errormsg Message Fatal s));
     1.8 +  Output.Private_Hooks.error_fn := (fn (_, s) => errormsg Message Fatal s));
     1.9  
    1.10  
    1.11  (* immediate messages *)