From fa6f580cb8de7b01eb686d88c1b67ced5408e5a5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 19:02:23 +0000
Subject: Fix defcustom types

---
 isar/isar-unicode-tokens.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el
index 00c3c064..413c1d0d 100644
--- a/isar/isar-unicode-tokens.el
+++ b/isar/isar-unicode-tokens.el
@@ -496,14 +496,14 @@ Each element is a list
   (TOKNAME COMPOSITION FONTSYMB ...)
 
 For Isabelle, the token TOKNAME is made into the token \\< TNAME >."
-  :type 'unicode-tokens-symbol-map
+  :type 'unicode-tokens-token-symbol-map
   :group 'isabelle
   :set 'isar-set-and-restart-tokens
   :tag "Isabelle Unicode Token Mapping")
 
 (defcustom isar-user-tokens nil
   "User-defined additions to `isar-token-symbol-map'."
-  :type 'unicode-tokens-symbol-map
+  :type 'unicode-tokens-token-symbol-map
   :group 'isabelle
   :set 'isar-set-and-restart-tokens
   :tag "User extensions for Isabelle Token Mapping")
-- 
cgit v1.2.3