From fba1ba3b4063525e8865584e3e88355c52488f04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Aug 2001 15:54:19 +0000
Subject: Change of proof span type back to goalsave fix

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 595c4e3f..5873e2fa 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2048,7 +2048,7 @@ up to the end of the locked region."
     ;; prover processed file, we examine to see how to remove it
     (if (and span (not (or
 			(memq (span-property span 'type) 
-			      '(proof proverproc)))))
+			      '(goalsave proverproc)))))
 	;; If the goal or goalsave span ends before the target span,
 	;; then we are retracting within the last unclosed proof,
 	;; and the retraction just amounts to a number of undo
-- 
cgit v1.2.3