diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-07-05 10:33:05 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-07-05 10:33:05 +0000 |
commit | 35baafcfcb66a1ce7d3c03f720a28a9f003b0577 (patch) | |
tree | 50bd3c5709676ce8e73c2151772a8b293451bc72 /coq/coq-indent.el | |
parent | e1753935c3acc5bcbc05cfe415c53dbdfe7413a9 (diff) |
Fixed a syntactic recognition function. Should Fix #2819.
Diffstat (limited to 'coq/coq-indent.el')
-rw-r--r-- | coq/coq-indent.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coq/coq-indent.el b/coq/coq-indent.el index 185c09bc..3b5f61ef 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -174,7 +174,8 @@ if found, to (point-max) otherwise. return true if found, nil otherwise." (defun coq-looking-at-comment () "Return non-nil if point is inside a comment." - (proof-inside-comment (+ 1 (point)))) + (or (proof-inside-comment (point)) + (proof-inside-comment (+ 1 (point))))) (defun coq-find-comment-start () "Go to the current comment start. @@ -227,8 +228,7 @@ found, go as far as possible and return nil." (if (coq-looking-at-comment) (progn (coq-skip-until-one-comment-backward)) (progn (when submatch (goto-char (match-beginning submatch))) - (setq found t)) - ))) + (setq found t))))) (when found (point)))) |