diff options
-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))) ;;; |