From cf8aa4c6f259562ac07d35102d3d07b0c4788288 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 26 Oct 1998 14:03:16 +0000
Subject: Note about bogus compiler warning

---
 generic/proof-site.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 2edf652f..d88d2324 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -137,8 +137,8 @@ NOTE: to change proof assistant, you must start a new Emacs session.")
 (let ((assistants proof-assistants) assistant)
   (while assistants
     (let*  
-	((assistant (car assistants))
-	 (nameregexp 
+	((assistant (car assistants))	; compiler bogus warning here
+	 (nameregexp			
 	  (or 
 	   (cdr-safe 
 	    (assoc assistant
-- 
cgit v1.2.3