diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 364059c3..2de99bf0 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -950,7 +950,7 @@ deletes the region corresponding to the proof sequence." (proof-set-queue-end start)) (delete-spans start end 'type) (delete-span span) - (if kill (delete-region start end)))) + (if kill (kill-region start end)))) (defun proof-setup-retract-action (start end proof-command delete-region) (let ((span (make-span start end))) |