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 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'coq')

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