Fix to warn function to use format args.

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