diff options
| -rw-r--r-- | af2/af2-fun.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/af2/af2-fun.el b/af2/af2-fun.el index 8e253232..5da642a3 100644 --- a/af2/af2-fun.el +++ b/af2/af2-fun.el @@ -31,9 +31,10 @@ send a compile command to af2 for the theorem which name is under the cursor." ) (defun af2-find-and-forget (span) - (let (str ans tmp) - (while span + (let (str ans tmp (lsp -1)) + (while span (setq str (proof-remove-comment (span-property span 'cmd))) + (cond ((eq (span-property span 'type) 'comment)) @@ -52,6 +53,7 @@ send a compile command to af2 for the theorem which name is under the cursor." (match-string 2 str)) ans)))) + (setq lsp (span-start span)) (setq span (next-span span 'type))) (or ans proof-no-command))) |