diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-29 07:58:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-29 07:58:08 +0000 |
| commit | ac4fe7cafd2dfaf34fd30fe78b5472b0899bc5db (patch) | |
| tree | b40ff01a3b4f27bc95dfdb639c55a7d840a9659d /phox | |
| parent | cf3284b52cd66f0a9f4052a9c95174a9d48eaccc (diff) | |
phox-find-and-forget: return a list
Diffstat (limited to 'phox')
| -rw-r--r-- | phox/phox-fun.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phox/phox-fun.el b/phox/phox-fun.el index fdc6c51e..08f46c96 100644 --- a/phox/phox-fun.el +++ b/phox/phox-fun.el @@ -246,7 +246,7 @@ or for optional argument TABLE." (setq lsp (span-start span)) (setq span (next-span span 'type))) - ans)) ; was (or ans proof-no-command) + (when ans (list ans)))) ; was (or ans proof-no-command) ;; ;; Doing commands |