diff options
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index d44d122f..8e65298d 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2731,7 +2731,7 @@ finish setup which depends on specific proof assistant configuration." (setq buffer-offer-save t)) ;; Localise the invisibility glyph (XEmacs only): - (let ((img (proof-get-image "hiddenproof" t nil))) + (let ((img (proof-get-image "hiddenproof" t "<proof>"))) (cond ((and img proof-running-on-XEmacs) (set-glyph-image invisible-text-glyph img (current-buffer))))) |