--- src/cvode/cvode.c	2012-04-11 19:31:13.000000000 -0500
+++ src/cvode/cvode.c.fix	2014-05-21 21:19:55.296755987 -0500
@@ -4136,7 +4136,7 @@
 
 #ifndef NO_FPRINTF_OUTPUT
     fprintf(stderr, "\n[%s ERROR]  %s\n  ", module, fname);
-    fprintf(stderr, msgfmt);
+    fprintf(stderr, msgfmt,ap);
     fprintf(stderr, "\n\n");
 #endif