diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-20 09:50:18 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-20 09:50:18 +0200 |
commit | aff6697e7c2ad645ad54d29da12d65aded5e038a (patch) | |
tree | f465daf078aebbc18684357d01694e2120d2424a /coq/coq-syntax.el | |
parent | 6590f705000ec0a6e0260552b48300c65aa83153 (diff) | |
parent | ac4f528a7797ffa2fcc0b46014ec15232bd8807e (diff) |
Merge branch 'master' of github.com:ProofGeneral/PG
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 91e6b9d3..a349ec55 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1367,6 +1367,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 ?\. "_") |