diff options
| author | David Aspinall | 2010-09-08 13:00:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-08 13:00:02 +0000 |
| commit | d13632d7a0a1fda5275abd909ae1891456f221e8 (patch) | |
| tree | 2172e38d4115379f25c1a47eef76a6e0d143a743 /generic/proof-script.el | |
| parent | f445f4df6edd07068f91dbe04ea84059375781b7 (diff) | |
Remove debug message
Diffstat (limited to 'generic/proof-script.el')
| -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) |