From 7ccb0fc0e3945ec507de62c9094c58ca43555784 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 10:55:54 +0000
Subject: Fix sloppy uses of message/concat

---
 generic/proof-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 9baeadeb..aa658bf3 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -112,7 +112,7 @@
 		   (interactive)
 		   (if (,enabler) 
 		       (call-interactively (quote ,buttonfn))
-		     (message ,(concat "Button \"" menuname "\" disabled")))))
+		     (message "Button \"%s\" disabled" ,menuname))))
 	  buttonfnwe)))
     (if tooltip	;; no tooltip means menu-only item
 	(if proof-running-on-XEmacs
-- 
cgit v1.2.3