diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 05:34:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 05:34:55 +0000 |
commit | 32479482c12161c9e23466307682d60ee841d5ba (patch) | |
tree | 1482effb546fb0480a09288672a2784f5cc9bb2f | |
parent | 37d2b52528f077fcfe708f9b5dd77a1b4edac908 (diff) |
Fix to warn function to use format args.
-rw-r--r-- | generic/proof.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof.el b/generic/proof.el index eb692a28..9d2b8384 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -157,9 +157,9 @@ of the proof (starting from 1).") ;;; (or (fboundp 'warn) - (defun warn (str) + (defun warn (str &rest args) "Issue a warning STR. Defined by PG for XEmacs compatibility." - (message str) + (apply 'message str args) (sit-for 2))) ;;; |