Realised clash with proof-assistant variable was causing "odd customize behaviour"

1 files changed, 0 insertions, 6 deletions

diff --git a/BUGS b/BUGS
index ac69299e..fc3e6187 100644
--- a/BUGS
+++ b/BUGS
@@ -24,9 +24,3 @@ allocation. Maybe some of the spans aren't removed properly.
 Setting a limit on the size of the process buffer doesn't seem to
 help. 
 
-
-customize:  odd behaviour after setting proof-assistant in
-.emacs file via customize: customize reports "mismatch"
-and "set outside customize".  Second of these probably
-okay.  Why first?
-