From 82c8181b685abbab220bc86097c5bd2f0b538840 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 23 Apr 2007 09:27:27 +0000
Subject: small coloring fix.

---
 coq/coq-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 28f48ffd..84f28df3 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -220,7 +220,7 @@ so for the following reasons:
      ("refine" "ref" "refine" t "refine")
      ("reflexivity" "refl" "reflexivity #" t "reflexivity")
      ("rename into" "ren" "rename # into #" t "rename")
-     ("replace with" "rep" "replace # with #" t)
+     ("replace with" "rep" "replace # with #" t "replace")
      ("replace with in" "repi" "replace # with # in #" t)
      ("rewrite <- in" "ri<" "rewrite <- # in #" t)
      ("rewrite <-" "r<" "rewrite <- #" t)
-- 
cgit v1.2.3