diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-04-27 11:22:33 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-04-27 11:22:33 +0000 |
commit | 776bdbeda4bc9cf7f4e1746f316b2940d7b1fda0 (patch) | |
tree | fd4ac046308ded22d230be4d03a0bd30698f5fe8 | |
parent | f7434ea0d899e4a95b48a47dbc0fd84e9e4bc5b0 (diff) |
Fixed at-point detection.
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -732,7 +732,7 @@ Return nil if S is nil." (defun coq-grab-punctuation-left (pos) (let ((res nil) (currpos pos)) - (while (coq-is-symbol-or-punct (char-before currpos)(char-before currpos)) + (while (and (coq-is-symbol-or-punct (char-before currpos))) (setq res (concat (char-to-string (char-before currpos)) res)) (setq currpos (- currpos 1))) res)) |