branch: elpa/proof-general
commit 9ca691fdaba77074853b9b743c944564ca608f43
Author: Pierre Courtieu <pierre.court...@cnam.fr>
Commit: Pierre Courtieu <pierre.court...@cnam.fr>
Fix problems with error on the first command of a file.
---
coq/coq-indent.el | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index b1e3e0425b..7ceff93281 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -208,7 +208,8 @@ position."
(while (coq-looking-at-comment) ;; we are looking for ". " so this is enough
(re-search-backward (concat "\\(?2:"
coq-simple-cmd-ender-prefix-regexp-backward "\\)\\.\\s-") (point-min) 'dummy))
;; unless we reached point-min, jump over the "."
- (when (match-end 2) (goto-char (match-end 2)) (forward-char 1))
+ (when (and (not (eq (point) (point-min))) (match-end 2))
+ (goto-char (match-end 2)) (forward-char 1))
(point))
(defun coq-find-start-of-cmd ()
