From 626013259652e208ce99c84463e05ce22e62484a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 27 Jan 2016 17:55:02 +0100
Subject: Fixed recent coq syntax change (tac !H become tac (H)).

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

diff --git a/coq/coq.el b/coq/coq.el
index 89512d05..20354046 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2047,7 +2047,7 @@ Warning: this makes the error messages (and location) wrong.")
   (cond
    ((string-match ";" s) s) ;; composed tactic cannot be treated 
    ((string-match coq-auto-as-hack-hyp-name-regex s)
-    (concat "infoH " (match-string 1 s) " !" (match-string 2 s) "."))
+    (concat "infoH " (match-string 1 s) " (" (match-string 2 s) ")."))
    ((string-match coq-keywords-accepting-as-regex s)
     (concat "infoH " s))
    (t (concat "infoH " s))))
-- 
cgit v1.2.3