From 5e0d2f495c2746903fc0368aaf4cc7eae8fda46a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Dec 1998 17:03:09 +0000
Subject: Tweaked docstring for C-c C-u.

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

(limited to 'generic')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index a35ee903..97fd4831 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1175,7 +1175,7 @@ UNCLOSED-COMMENT-FUN."
 ;; FIXME: it turns out that this function is identical to the one below.
 (defun proof-undo-last-successful-command-interactive (delete)
   "Undo last successful command at end of locked region.
-If optional DELETE argument is set (called with a prefix argument), 
+If DELETE argument is set (called with a prefix argument), 
 the text is also deleted from the proof script."
   (interactive "P")
   (proof-undo-last-successful-command delete))
-- 
cgit v1.2.3