From 68c54b19894599aa9983cb1994565f98872b794b Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Fri, 22 May 1998 09:46:58 +0000
Subject: fixed a bug in proof-frob-locked-end

---
 proof.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/proof.el b/proof.el
index 9407f7c0..734ecf31 100644
--- a/proof.el
+++ b/proof.el
@@ -9,6 +9,9 @@
 
 
 ;; $Log$
+;; Revision 1.45  1998/05/22 09:46:58  tms
+;; fixed a bug in proof-frob-locked-end
+;;
 ;; Revision 1.44  1998/05/21 17:34:31  hhg
 ;; Made proof-locked-span and proof-queue-span buffer-local.
 ;; Changed some if's without then-clauses to and's.
@@ -1655,9 +1658,9 @@ deletes the region corresponding to the proof sequence."
    ((not (eq proof-script-buffer (current-buffer)))
     (error "Not in proof buffer"))
    ((> (point) (proof-locked-end))
-    (error "Can only move backwards")
+    (error "Can only move backwards"))
    (t (proof-set-locked-end (point))
-      (delete-spans (proof-locked-end) (point-max) 'type)))))
+      (delete-spans (proof-locked-end) (point-max) 'type))))
 
 (defvar proof-minibuffer-history nil
   "The last command read from the minibuffer")
-- 
cgit v1.2.3