From 99aaca98a009a75a0fcba5c67bd0eef79e9dbaf2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 10 Oct 2010 22:50:20 +0000
Subject: Fix debug message format

---
 generic/proof-script.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 8b8f0fbc..c522c9e9 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -539,8 +539,8 @@ It is recorded in the span with the 'rawname property."
 	    (cons (cons idiomsym (setq elts (make-hash-table)))
 		  pg-script-portions)))
     (if (gethash idsym elts)
-	(proof-debug "Element named " name
-		     " (type " idiom ") was already in buffer."))
+	(proof-debug "Element named %s (type %s) was already in buffer."
+		     name idiom))
     (puthash idsym span elts)
     ;; Idiom and ID are stored in the span as symbols; name as a string.
     (span-set-property span 'idiom idiomsym)
-- 
cgit v1.2.3