From c5229957606cff1a12f9b338cf473615e965143d Mon Sep 17 00:00:00 2001
From: Gerwin Klein
Date: Mon, 19 Jan 2004 05:27:06 +0000
Subject: revoke broken indent fix

---
 generic/proof-indent.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/generic/proof-indent.el b/generic/proof-indent.el
index 5f58fa1b..22ff742c 100644
--- a/generic/proof-indent.el
+++ b/generic/proof-indent.el
@@ -48,8 +48,7 @@
 (defun proof-indent-goto-prev ()   ; Note: may change point, even in case of failure!
   "Goto to previous syntax element for script indentation, ignoring string/comment contexts."
   (and
-   (proof-re-search-backward proof-indent-any-regexp 
-			     (proof-queue-or-locked-end) t)
+   (proof-re-search-backward proof-indent-any-regexp nil t)
    (or (not (proof-looking-at-syntactic-context))
        (proof-indent-goto-prev))))
 
-- 
cgit v1.2.3