From 12f2bddc02455d4dac4973d6dd9312c2e667ef24 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Aug 2010 14:15:55 +0000
Subject: proof-debug advice: Fix passing format arg

---
 generic/pg-autotest.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el
index ab4c4018..0db1c0e6 100644
--- a/generic/pg-autotest.el
+++ b/generic/pg-autotest.el
@@ -37,7 +37,7 @@
 
 (defadvice proof-debug (before proof-debug-to-log (msg &rest args))
   "Output the debug message to the test log."
-  (pg-autotest-message msg args))
+  (apply 'pg-autotest-message msg args))
 
 ;;; Some utilities
 
-- 
cgit v1.2.3