From d13632d7a0a1fda5275abd909ae1891456f221e8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 8 Sep 2010 13:00:02 +0000
Subject: Remove debug message

---
 generic/proof-script.el | 1 -
 1 file changed, 1 deletion(-)

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)
-- 
cgit v1.2.3