From 35baafcfcb66a1ce7d3c03f720a28a9f003b0577 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 5 Jul 2012 10:33:05 +0000 Subject: Fixed a syntactic recognition function. Should Fix #2819. --- coq/coq-indent.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'coq/coq-indent.el') 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)))) -- cgit v1.2.3