Change of proof span type back to goalsave

1 files changed, 1 insertions, 1 deletions

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)