From 55d489d72bd7e398dd9d0a7f90bfaecb6d9fb9af Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Oct 1999 16:31:53 +0000
Subject: Changed name to proof-shell-inform-file-processed-cmd

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

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 7778ba11..f89d58cf 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -925,7 +925,7 @@ script everytime scripting begins."
   :type 'string
   :group 'proof-shell)
 
-(defcustom  proof-shell-inform-file-processed-command nil
+(defcustom  proof-shell-inform-file-processed-cmd nil
  "Command to the proof assistant to tell it that a file has been processed.
 The format character %s is replaced by a complete filename for a
 script file which has been fully processed interactively with
-- 
cgit v1.2.3