From 9ed96414ae7f165413873bd70ce70f3c19be3cc3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 16:30:00 +0000
Subject: Removed FIXME

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index da88bf30..5c86180c 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -794,12 +794,9 @@ arrive."
 	   (let
 	       ((scrbuf (car-safe proof-script-buffer-list)))
 	       (proof-restart-buffers
-		;; FIXME: multiple files needs fixing here!!
-		;; (remove (car-safe proof-script-buffer-list)
 		(proof-files-to-buffers
 		 (set-difference current-included
 				 proof-included-files-list)))
-					; )
 	       (cond
 		((not scrbuf))
 		((eq scrbuf (car-safe proof-script-buffer-list)))
-- 
cgit v1.2.3