diff options
| -rw-r--r-- | generic/proof-indent.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 1caeaadb..3fce1aaa 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -64,7 +64,8 @@ ((looking-at proof-commands-regexp) (setq stack (cons (list proof-terminal-char (point)) stack))) ((and (eq c proof-terminal-char) - (eq (car (car stack)) proof-terminal-char)) (cdr stack)) + (eq (car (car stack)) proof-terminal-char)) + (setq stack (cdr stack))) (proof-parse-indent (setq stack (funcall proof-parse-indent c stack)))))) (forward-char)) |