diff options
| author | David Aspinall | 2010-08-18 14:15:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-18 14:15:55 +0000 |
| commit | 12f2bddc02455d4dac4973d6dd9312c2e667ef24 (patch) | |
| tree | 8df20b6c7e2bd56c46c5ac760e7dcaff298cc1f3 | |
| parent | d5a97d6d1518a7c0ff6c49b82e2f123297df57c5 (diff) | |
proof-debug advice: Fix passing format arg
| -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 |