diff options
Diffstat (limited to 'coq/coq-indent.el')
-rw-r--r-- | coq/coq-indent.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/coq/coq-indent.el b/coq/coq-indent.el index da73f808..93feebca 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -391,7 +391,9 @@ and return nil." The point is put exactly after the end of previous command, or at the (point-min if there is no previous command)." (coq-script-parse-cmdend-backward) - (if (proof-looking-at "\\.\\s-\\|{\\|}") (forward-char 1)) ; else = no match found + (when + (proof-looking-at "\\.\\s-\\|{\\|}\\|\\++\\|\\*+\\|-+") + (forward-char (- (match-end 0) (match-beginning 0)))) ; else = no match found (point)) |