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-script.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 0c801cf9..abc77671 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -450,9 +450,9 @@ to co-ordinate with its internal file-management."
       (if buffer
 	  (proof-complete-buffer-atomic buffer))
       ;; Tell the proof assistant, if we should and if we can
-      (if (and informprover proof-shell-inform-file-processed-command)
+      (if (and informprover proof-shell-inform-file-processed-cmd)
 	  (proof-shell-invisible-command 
-	   (format proof-shell-inform-file-processed-command cfile))))))
+	   (format proof-shell-inform-file-processed-cmd cfile))))))
 
 (defun proof-unregister-buffer-file-name ()
   "Remove current buffer's filename from the list of included files.
-- 
cgit v1.2.3