diff options
| author | David Aspinall | 2001-09-03 21:43:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-03 21:43:04 +0000 |
| commit | 847d735a10301d41ffb35bc0adececde2c0bb078 (patch) | |
| tree | 4539ac9c23f37a8d109524573da9b009ed658ed4 /generic/proof-shell.el | |
| parent | 52dcb0b501cbd4403bc2b409241b03dd4b8d2460 (diff) | |
Fix bracket bug.
Diffstat (limited to 'generic/proof-shell.el')
| -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))))) |