From 75441a61e232861c4536b94ca462d3783d6c27e8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 12 Nov 1998 14:36:22 +0000 Subject: Fixed error regexp --- isa/ProofGeneral.ML | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'isa/ProofGeneral.ML') diff --git a/isa/ProofGeneral.ML b/isa/ProofGeneral.ML index 4036061c..1986422d 100644 --- a/isa/ProofGeneral.ML +++ b/isa/ProofGeneral.ML @@ -156,9 +156,9 @@ in (prs_fn := (fn s => out ("\240" ^ s ^ "\241")); warning_fn := - (fn s => out ("\242" ^ (prefix_lines "###" s) ^ "\243")); + (fn s => out ("\242" ^ (prefix_lines "### " s) ^ "\243")); error_fn := - (fn s => out ("\244" ^ (prefix_lines "***" s) ^ "\245"))) + (fn s => out ("\244" ^ (prefix_lines "*** " s) ^ "\245"))) end; (* add specials to ml prompts *) -- cgit v1.2.3