diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 |