diff options
| -rw-r--r-- | coq/coq-syntax.el | 1 | ||||
| -rw-r--r-- | coq/coq.el | 5 |
2 files changed, 4 insertions, 2 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index cc325c41..fe996505 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1366,6 +1366,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 ?\. "_") @@ -876,8 +876,9 @@ Support dot.notation.of.modules." (defun coq-id-or-notation-at-point () - (or (coq-id-at-point) (concat "\"" (coq-notation-at-position (point)) "\""))) - + (or (coq-id-at-point) + (let ((notation (coq-notation-at-position (point)))) + (if notation (concat "\"" notation "\"") "")))) (defcustom coq-remap-mouse-1 nil "Wether coq mode should remap mouse button 1 to coq queries. |