From f014a3e98bf916c78b6916b893b5c07fcf7e8be7 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Wed, 8 Jun 2016 15:06:52 +0200
Subject: abbrev twivking.

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

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

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 555a7f83..ef9fb162 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -135,7 +135,7 @@ so for the following reasons:
      ("autorewrite with in" "arwi" "autorewrite with @{db,db...} in @{hyp}" t)
      ("autorewrite with using" "arwu" "autorewrite with @{db,db...} using @{tac}" t)
      ("autorewrite with" "ar" "autorewrite with @{db,db...}" t "autorewrite")
-     ("case" "c" "case " t "case")
+     ("case" nil "case " t "case")
      ("case_eq" "ceq" "case_eq " t "case_eq")
      ("case_type" "cty" "case_type " t "case_type")
      ("cbn" "c" "cbn" t "cbn")
-- 
cgit v1.2.3