From 3afd5d82c2bc8516d2d94d7e1f6bc63bd1d3e280 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 8 Jul 1999 15:20:55 +0000
Subject: (goto-char (point-min)) rather than (proof-goto-end-of-locked);

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

(limited to 'generic/proof-indent.el')

diff --git a/generic/proof-indent.el b/generic/proof-indent.el
index 7c879011..0295a3e6 100644
--- a/generic/proof-indent.el
+++ b/generic/proof-indent.el
@@ -34,7 +34,7 @@
 	(cmt-start-regexp (regexp-quote proof-comment-start)))
     (save-excursion
       (if (null from)
-	  (proof-goto-end-of-locked)
+	  (goto-char (point-min))
 	(goto-char from)
 	(setq instring (car state)
 	      cmt-level (nth 1 state)
-- 
cgit v1.2.3