Formerly ../stdio/vfprintf.c.~7~
authorroland <roland>
Fri, 26 Jun 1992 01:45:51 +0000 (01:45 +0000)
committerroland <roland>
Fri, 26 Jun 1992 01:45:51 +0000 (01:45 +0000)
stdio/vfprintf.c

index 912d9b0..b7140d4 100644 (file)
@@ -69,10 +69,8 @@ extern printf_function **__printf_function_table;
 
 int
 DEFUN(vfprintf, (s, format, args),
-      register FILE *s AND CONST char *format AND va_list argptr)
+      register FILE *s AND CONST char *format AND va_list args)
 {
-  va_list args = (va_list) argptr;
-
   /* Lower-case digits.  */
   static CONST char lower_digits[] = "0123456789abcdefghijklmnopqrstuvwxyz";
   /* Upper-case digits.  */