Minor changes to avoid some compiler warnings

1 files changed, 0 insertions, 8 deletions

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 7927c22b..0eadcc28 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -397,14 +397,6 @@ Does nothing if proof assistant is already running."
 
       (message "Starting %s process... done." proc))))
 
-(defun proof-associated-buffers ()
-  "Return a list of the associated buffers.  
-Some may be dead/nil."
-  (list proof-goals-buffer
-	proof-response-buffer
-	proof-trace-buffer
-	proof-thms-buffer))
-
 
 ;;
 ;;  Shutting down proof shell and associated buffers