From 0914c77ad2c3ffd6e9e9b2860a2b78dc85561fb0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Dec 1998 17:37:06 +0000
Subject: Docstring fix

---
 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 56c8961e..db79d25e 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1562,7 +1562,7 @@ No action if BUF is nil."
 
 (defun proof-active-terminator-minor-mode (&optional arg)
   "Toggle Proof General's active terminator minor mode.
-With arg, turn on the Active Terminator minor mode if and only if arg
+With ARG, turn on the Active Terminator minor mode if and only if ARG
 is positive.
 
 If active terminator mode is enabled, pressing a terminator will automatically activate `proof-assert-next-command' for convenience."
-- 
cgit v1.2.3