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