From 72920941d1227e6a0afd93748fad2b06bdbcc370 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 22:59:51 +0000
Subject: Change error face to firebrick (again)

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index dde147d0..0fd982ad 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -513,7 +513,7 @@ both XEmacs 20.4 and Emacs 20.3's version of font-lock.")
 
 (defface proof-error-face 
   (proof-face-specs
-   (:background "salmon1" :bold t)
+   (:background "firebrick1" :bold t)
    (:background "brown" :bold t)
    (:bold t))
   "*Face for error messages from proof assistant."
-- 
cgit v1.2.3