From 6948d6713f6a4934eb116ec7338653ec1f5593ab Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 4 Nov 2007 16:00:10 +0000
Subject: defconst proof-warning-face -- as expected by GNU Emacs;

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

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 3690e0a3..4e12f48c 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -544,6 +544,8 @@ both XEmacs 20.4 and Emacs 20.3's version of font-lock.")
 Warning messages can come from proof assistant or from Proof General itself."
   :group 'proof-faces)
 
+(defconst proof-warning-face 'proof-warning-face)
+
 (defface proof-eager-annotation-face
   (proof-face-specs
    (:background "palegoldenrod")
-- 
cgit v1.2.3