--- printf/sprintffuns.c	2011-05-08 11:49:29.000000000 +0200
+++ printf/sprintffuns.c	2011-10-13 11:43:40.839676843 +0200
@@ -76,7 +76,7 @@
 }
 
 static int
-gmp_sprintf_final (char **bufp, int c, int reps)
+gmp_sprintf_final (char **bufp)
 {
   char  *buf = *bufp;
   *buf = '\0';