From 3405aa7f075b343776c2b2a6505cdf4d18451e6d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Dec 1998 18:11:52 +0000
Subject: Made delete-region arg optional for
 proof-retract-until-point-interactive.

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 0bf2c306..2530e1b1 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1088,7 +1088,7 @@ Optionally delete the region corresponding to the proof sequence."
 
 ;; FIXME da: Maybe retraction to the start of
 ;; a file should remove it from the list of included files?
-(defun proof-retract-until-point-interactive (delete-region)
+(defun proof-retract-until-point-interactive (&optional delete-region)
   "Tell the proof process to retract until point.
 If invoked outside a locked region, undo the last successfully processed
 command.  If called with a prefix argument (DELETE-REGION non-nil), also
-- 
cgit v1.2.3