From 76a6c82dc75adde770d2e4aa1c84d376abe3fc28 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 16:03:22 +0000
Subject: Remove FIXME.

---
 generic/proof-script.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index c3a22a4c..7ad8ac6b 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -996,7 +996,6 @@ the ACS is marked in the current buffer. If CMD does not match any,
 
 	;; Search backwards for first goal command, 
 	;; deleting spans along the way.
-	;; (FIXME da: what happens if no goal is found?)
 	(setq gspan span)
 	(while (and gspan
 		    (or (eq (span-property gspan 'type) 'comment)
-- 
cgit v1.2.3