From 5774a4c0c39fd1a930cae5415639fe4f8c3974fd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 15:28:49 +0000
Subject: Fix of byte compiler warnings for proof-script.el.

---
 generic/proof-shell.el | 11 -----------
 1 file changed, 11 deletions(-)

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 961466b7..82672328 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -891,17 +891,6 @@ how far we've got."
 		 (t (if (proof-shell-exec-loop)
 			(proof-shell-handle-delayed-output))))))))))
 
-(defun proof-last-goal-or-goalsave ()
-  (save-excursion
-    (let ((span (span-at-before (proof-locked-end) 'type)))
-    (while (and span 
-		(not (eq (span-property span 'type) 'goalsave))
-		(or (eq (span-property span 'type) 'comment)
-		    (not (funcall proof-goal-command-p
-				       (span-property span 'cmd)))))
-      (setq span (prev-span span 'type)))
-    span)))
-    
 (defun proof-shell-done-invisible (span) ())
 
 ;; da: What is the rationale here for making the *command* sent
-- 
cgit v1.2.3