From fbac314fdc1307367f1c2f7b86a5b668a613aaa6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 3 Jun 2011 22:13:41 +0000
Subject: proof-undo-and-delete-last-successful-command: obey spec (Trac #407)

---
 generic/pg-user.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/pg-user.el b/generic/pg-user.el
index de116198..02f76c27 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1,3 +1,4 @@
+
 ;;; pg-user.el --- User level commands for Proof General
 ;;
 ;; Copyright (C) 2000-2010 LFCS Edinburgh.
@@ -224,7 +225,7 @@ Notice that the deleted command is put into the Emacs kill ring, so
 you can use the usual `yank' and similar commands to retrieve the
 deleted text."
   (interactive)
-  (proof-undo-last-successful-command-1 'delete-region))
+  (proof-undo-last-successful-command-1 'kill-region))
 
 (defun proof-undo-last-successful-command-1 (&optional undo-action)
   "Undo last successful command at end of locked region.
-- 
cgit v1.2.3