diff options
| -rw-r--r-- | generic/proof-script.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index d91385ff..2f0cfb06 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -575,7 +575,6 @@ and `buffer-invisibility-spec'." (let* ((invisible-prop (pg-invisible-prop (span-property span 'idiom))) (invisible-rest (remq invisible-prop (span-property span 'invisible)))) - (message "Using property %s" invisible-prop) (span-set-property span 'invisible (if invisiblep (cons invisible-prop invisible-rest) |