From 7aa646b2cace98027458932c0a2e80f146065d65 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Wed, 26 May 1999 17:05:44 +0000 Subject: fixed bug in proof-parse-to-point: missing (setq stack ...) in case of closing a proof command; --- generic/proof-indent.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'generic/proof-indent.el') 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)) -- cgit v1.2.3