From e3016def0716977cb6a147c6b852e474eb1d69d1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 May 2009 08:08:03 +0000
Subject: Check unicode-tokens-mode is bound

---
 generic/proof-script.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index d4e91b62..1f554f39 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -702,7 +702,8 @@ NAME does not need to be unique."
   "Add a daughter help span for SPAN with help message, highlight, actions"
   (let ((helpmsg    (pg-span-name span))
 	(proofstate (proof-shell-strip-output-markup
-		     (if unicode-tokens-mode
+		     (if (and (boundp 'unicode-tokens-mode)
+			      unicode-tokens-mode)
 			 (unicode-tokens-encode-str proof-shell-last-output)
 		       proof-shell-last-output)))
 	(newspan    (let ((newstart (save-excursion
-- 
cgit v1.2.3