From ac4fe7cafd2dfaf34fd30fe78b5472b0899bc5db Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 29 Sep 2009 07:58:08 +0000 Subject: phox-find-and-forget: return a list --- phox/phox-fun.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'phox') 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 -- cgit v1.2.3