From 2b0d65b4e165a5b8870e50c3b0c7f69225866f1d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Apr 2000 15:51:04 +0000
Subject: Comment.

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index a4936b9d..71bee6cf 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -864,7 +864,7 @@ Then we call `proof-shell-handle-error-or-interrupt-hook'."
     (setq proof-action-list nil)
     (proof-release-lock err-or-int)
     ;; Make sure that prover is outputting data now.
-
+    ;; FIXME: put something here!
     ;; New: this is called for interrupts too.
     (run-hooks 'proof-shell-handle-error-or-interrupt-hook)))
 
-- 
cgit v1.2.3