diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 4 |
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) |