diff options
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lego/lego.el b/lego/lego.el index 1a6c10dd..e2f755ea 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -197,7 +197,8 @@ Given is the first SPAN which needs to be undone." (defun lego-goal-command-p (str) "Decide whether argument is a goal or not" - (proof-string-match lego-goal-command-regexp str)) + (proof-string-match lego-goal-command-regexp + (or (span-property span 'cmd) ""))) (defun lego-find-and-forget (span) (let (str ans) |