From 12e643320cf7ffdc13a330719ec2ca529198060a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 19 Jan 2016 15:48:05 +0100
Subject: fix  #36.

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

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 3b4ad3cc..37867dca 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -189,6 +189,7 @@ so for the following reasons:
      ("elim using" "elu" "elim # using #" t)
      ("elim" "e" "elim #" t "elim")
      ("elimtype" "elt" "elimtype" "elimtype")
+     ("erewrite" "er" "erewrite #" t "erewrite")
      ("eright" "erig" "eright" "eright")
      ("esplit" "esp" "esplit" t "esplit")
      ;;     ("exact" "exa" "exact" t "exact")
-- 
cgit v1.2.3