Moved utility function proof-files-to-buffers to proof.el. Fixed local var

1 files changed, 2 insertions, 8 deletions

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 3c80c790..a0ad6f3f 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -792,7 +792,8 @@ This function expects 'proof-shell-delayed-output' to be a cons cell
 of the form ('insert . TXT) or ('analyse . TXT).
 See the documentation for `proof-shell-delayed-output' for further details."
   (let ((ins (car proof-shell-delayed-output))
-	(str (cdr proof-shell-delayed-output)))
+	(str (cdr proof-shell-delayed-output))
+	pos)
     (cond 
      ;; 
      ;; 1. Text to be inserted in response buffer.
@@ -1231,13 +1232,6 @@ arrive."
 	      'proof-eager-annotation-face))
     (proof-shell-message str))))
 
-(defun proof-files-to-buffers (filenames)
-  "Converts a list of FILENAMES into a list of BUFFERS."
-  (if (null filenames) nil
-    (let* ((buffer (proof-file-to-buffer (car filenames)))
-	  (rest (proof-files-to-buffers (cdr filenames))))
-      (if buffer (cons buffer rest) rest))))
-
 (defun proof-shell-process-urgent-message (message)
   "Analyse urgent MESSAGE for various cases.
 Included file, retracted file, cleared response buffer, or