diff options
| author | David Aspinall | 1998-11-18 13:43:14 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:43:14 +0000 |
| commit | 322f80462f5f40c413a99d58d9baf2924b0fd170 (patch) | |
| tree | 7b15d4cfd280ea63b5c598b6a5ae563cf66385e5 /generic/proof-script.el | |
| parent | 1610033c72b11c1e13bc5daef0434832f0605dfa (diff) | |
proof-done-retracting: changed delete-region to kill-region after
Martin Hofmann's suggestion.
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))) |