From 2e7f542aa80ead836ea7bfe14e4d94430a7b556c Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Mon, 16 May 2016 18:58:43 -0400
Subject: coq-syntax: Add a debug spec

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

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

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 40dac7d7..94445439 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -1365,6 +1365,7 @@ It is used:
 ;; constituent (better behavior for thing-at and maybe font-lock too,
 ;; for indentation we use ad hoc smie lexers).
 (defmacro coq-with-altered-syntax-table (&rest code)
+  (declare (debug t))
   (let ((res (make-symbol "res")))
     `(unwind-protect
 	 (progn (modify-syntax-entry ?\. "_")
-- 
cgit v1.2.3