diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-16 18:58:43 -0400 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-16 18:58:43 -0400 |
commit | 2e7f542aa80ead836ea7bfe14e4d94430a7b556c (patch) | |
tree | b013f1cc5e1f98046bed190aff1cc0c36f648645 /coq/coq-syntax.el | |
parent | 1c4fd3f01116ace158d3885e8a11c29f71d19823 (diff) |
coq-syntax: Add a debug spec
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r-- | coq/coq-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
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 ?\. "_") |