src/Pure/ProofGeneral/proof_general_emacs.ML
changeset 44270 3eaad39e520c
parent 43840 04008ec62370
child 44389 a3b5fdfb04a3
     1.1 --- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Aug 18 17:30:47 2011 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Aug 18 17:53:32 2011 +0200
     1.3 @@ -84,7 +84,7 @@
     1.4    Output.Private_Hooks.urgent_message_fn := message (special "I") (special "J") "";
     1.5    Output.Private_Hooks.tracing_fn := message (special "I" ^ special "V") (special "J") "";
     1.6    Output.Private_Hooks.warning_fn := message (special "K") (special "L") "### ";
     1.7 -  Output.Private_Hooks.error_fn := message (special "M") (special "N") "*** ";
     1.8 +  Output.Private_Hooks.error_fn := (fn (_, s) => message (special "M") (special "N") "*** " s);
     1.9    Output.Private_Hooks.prompt_fn := (fn s => Output.raw_stdout (render s ^ special "S")));
    1.10  
    1.11  fun panic s =