diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-12-31 17:12:00 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-12-31 17:12:00 +0100 |
| commit | c458fc8a1f831e4993a492ae2d84a30507029175 (patch) | |
| tree | 1ab662aeb0da70d4a67fe32d88135b4b72a6f2e9 /coq/coq.el | |
| parent | 515026c1a268817075d37f748db303d05b0abb00 (diff) | |
add second argument to looking-back, required in emacs25
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1435,7 +1435,7 @@ Near here means PT is either inside or just aside of a comment." (cond ((coq-looking-at-comment) (coq-get-comment-region (point))) - ((and (looking-back proof-script-comment-end) + ((and (looking-back proof-script-comment-end nil) (save-excursion (forward-char -1) (coq-looking-at-comment))) (coq-get-comment-region (- (point) 1))) ((and (looking-at proof-script-comment-start) |