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 /generic/proof.el | |
| parent | 37d2b52528f077fcfe708f9b5dd77a1b4edac908 (diff) | |
Fix to warn function to use format args.
Diffstat (limited to 'generic/proof.el')
| -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))) ;;; |