diff options
| author | David Aspinall | 2002-08-28 10:55:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 10:55:54 +0000 |
| commit | 7ccb0fc0e3945ec507de62c9094c58ca43555784 (patch) | |
| tree | 01d82fc9804f1f6172da9cd3ed6b5845eed463c5 /coq | |
| parent | 49fb1daa65bc5e3a1feaad0345fb693d15f9448f (diff) | |
Fix sloppy uses of message/concat
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |