30,34c30
< #ifdef __STDC__
< # include <stdarg.h>
< #else
< # include <varargs.h>
< #endif
---
> #include <stdarg.h>
42c38
< FILE_RCSID("@(#)$Id: print.c,v 1.38 2002/07/03 18:37:44 christos Exp $")
---
> FILE_RCSID("@(#)$Id: print.c,v 1.39 2002/07/09 15:46:23 christos Exp $")