From 3563de3849c59f7b97fc9406960629a7258c8a84 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Feb 2003 10:38:01 +0000
Subject: Fix some compile errors

---
 isa/x-symbol-isabelle.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'isa')

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 5288f5aa..0fbb575c 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -175,6 +175,8 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'."
 ;;;  Charsym Info
 ;;;===========================================================================
 
+;;; FIXME: da: attempting to compile these defcustoms gives error on
+;;;   !! Symbol's function definition is void ((x-symbol-set-cache-variable))
 (defcustom x-symbol-isabelle-class-alist
   '((VALID "Isabelle Symbol" (x-symbol-info-face))
     (INVALID "no Isabelle Symbol" (red x-symbol-info-face)))
-- 
cgit v1.2.3