diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-05-26 17:05:44 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-05-26 17:05:44 +0000 |
| commit | 7aa646b2cace98027458932c0a2e80f146065d65 (patch) | |
| tree | b1a1946fb06df257d506fd56d755f6264297d254 /generic/proof-indent.el | |
| parent | 7cac5479cada3c8a2d90d685d735c98aac32720e (diff) | |
fixed bug in proof-parse-to-point: missing (setq stack ...) in case of
closing a proof command;
Diffstat (limited to 'generic/proof-indent.el')
| -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)) |