diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 14:15:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 14:15:55 +0000 |
commit | 12f2bddc02455d4dac4973d6dd9312c2e667ef24 (patch) | |
tree | 8df20b6c7e2bd56c46c5ac760e7dcaff298cc1f3 /generic/pg-autotest.el | |
parent | d5a97d6d1518a7c0ff6c49b82e2f123297df57c5 (diff) |
proof-debug advice: Fix passing format arg
Diffstat (limited to 'generic/pg-autotest.el')
-rw-r--r-- | generic/pg-autotest.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |