diff options
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 5014fc9b..bfe635d0 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -456,7 +456,8 @@ This is called when Proof General spots output matching (setq ans isar-undo))) (if ans (setq answers (cons ans answers))) (if span (setq span (next-span span 'type)))) - (if (null answers) proof-no-command (apply 'concat answers)))) + (if (null answers) nil ; was proof-no-command + (apply 'concat answers)))) (defun isar-goal-command-p (span) "Decide whether argument SPAN is a goal or not." |