diff options
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index ffe0816f..b47ed938 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -475,8 +475,8 @@ explicit yank." (mouse-set-point event) ;; Get either the proof body or whole goalsave (setq span (or - (span-at (point) 'proof)) - (span-at (point) 'goalsave)) + (span-at (point) 'proof) + (span-at (point) 'goalsave))) (if span (copy-region-as-kill (span-start span) (span-end span))))) |