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

---
 coq/coq.el               | 4 ++--
 generic/proof-toolbar.el | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index d6eb861e..7984472b 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -621,8 +621,8 @@ This is specific to coq-mode."
 				    default-directory)
 				;; This next guess is pretty hopeless.
 				default-directory)))
-		  (message (concat dir modname ".v"))
-		  (concat dir modname ".v")))))
+		  (message "%s%s.v" dir modname)
+		  (format "%s%s.v" dir modname)))))
 
   (setq coq-proof-shell-inform-file-retracted-cmd
 	;; da: This is a HORRIBLE fragile hack!  Instead of issuing a
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