Fix debug message format

1 files changed, 2 insertions, 2 deletions

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)