From 2e107f73889a0a22c262b589fd568b35426cbb58 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Wed, 22 Oct 2008 09:26:18 +0000
Subject: Fixing parenthesis not accepted by recent emacs anymore. fix by
 Stefan Monnier.

---
 coq/coq-db.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'coq/coq-db.el')

diff --git a/coq/coq-db.el b/coq/coq-db.el
index 627ec241..4a62c30f 100644
--- a/coq/coq-db.el
+++ b/coq/coq-db.el
@@ -220,8 +220,8 @@ See `coq-syntax-db' for DB structure."
 ;;A new face for tactics which fail when they don't kill the current goal
 (defface coq-solve-tactics-face 
   (proof-face-specs
-   (:foreground "red" t) ; pour les fonds clairs
-   (:foreground "red"  t) ; pour les fond foncés
+   (:foreground "red") ; pour les fonds clairs
+   (:foreground "red") ; pour les fond foncés
    ()) ; pour le noir et blanc
   "Face for names of closing tactics in proof scripts."
   :group 'proof-faces)
-- 
cgit v1.2.3