diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 11:57:04 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 11:57:04 +0000 |
commit | f73c077aa40900e43414e4c7c1129fde90520954 (patch) | |
tree | 0059184aeee3508cdf84bbd7df4afa31e3af79ab /phox | |
parent | b74aae5c0b60dbd75ab89597131a1980951ed43a (diff) |
Fix to calls on message
Diffstat (limited to 'phox')
-rw-r--r-- | phox/phox-tags.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/phox/phox-tags.el b/phox/phox-tags.el index da91f022..dc143230 100644 --- a/phox/phox-tags.el +++ b/phox/phox-tags.el @@ -24,11 +24,11 @@ (if proof-running-on-XEmacs (let ((association (cons buffer-file-name table))) (if (member association tag-table-alist) - (message (concat table " already loaded.")) + (message "%s already loaded." table) (setq tag-table-alist (cons association tag-table-alist)))) ; gnu emacs (if (member table tags-table-list) - (message (concat table " already loaded.")) + (message "%s already loaded." table) ; (make-local-variable 'tags-table-list) ; ne fonctionne pas (setq tags-table-list (cons table tags-table-list)) ) |