From 2bf4a7f0b3cf660c6b215a3e49d80115409e192e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Aug 2001 15:53:17 +0000
Subject: Change of proof span type back to goalsave

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index d1a27bec..ba8d4469 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -371,7 +371,7 @@ proof-shell-retract-files-regexp."
        ((or (eq (span-property span 'type) 'comment)
             (proof-string-match isar-undo-skip-regexp str)))
        ;; finished goal: undo
-       ((eq (span-property span 'type) 'proof)
+       ((eq (span-property span 'type) 'goalsave)
         (setq ans isar-undo))
        ;; open goal: skip and exit
        ((proof-string-match isar-goal-command-regexp str)
-- 
cgit v1.2.3