diff options
author | 2012-09-07 19:47:10 +0000 | |
---|---|---|
committer | 2012-09-07 19:47:10 +0000 | |
commit | 1e5fcb1a36df556dc7c0b8bac2b0b36a8e8d2743 (patch) | |
tree | 22fc0625084bcaf5460322b5688c47967d365451 /coq | |
parent | ba090c7e88c00df4d0db7e5c521bd30d4fb61ec4 (diff) |
Fix of the last commit.
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -663,14 +663,14 @@ Return nil if s is nil." (defun coq-id-at-point () "Return the identifier at current point. Support dot.notation.of.modules." - (dummy (modify-syntax-entry ?\. "w")) ; temporary for dot notation + (modify-syntax-entry ?\. "w") ; temporary for dot notation (let* ((symb (symbol-name (cond ((fboundp 'symbol-near-point) (symbol-near-point)) ((fboundp 'symbol-at-point) (symbol-at-point)) (t 'nothing)))) - (dummy (modify-syntax-entry ?\. ".")) ; go back to ususal syntax (symbclean (coq-remove-trailing-dot symb))) + (modify-syntax-entry ?\. ".") ; go back to ususal syntax (if (zerop (length symbclean)) nil symbclean))) |