# publicmbert/elvis

### Subversion checkout URL

You can clone with HTTPS or Subversion.

Fetching contributors…

Cannot retrieve contributors at this time

file 24 lines (22 sloc) 0.483 kb
 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 #include #include #include #include "debug.h"/** * Routine to print messages to stdout. * * This routine behaves just like {\em printf ()}. * *//*@printflike@*/ int /*@alt void@*/debug_printf (const char *template, ...)   /*@globals stderr@*/   /*@modifies fileSystem, *stderr@*/{  va_list ap;  int result;  va_start (ap, template);  result = vfprintf (stderr, template, ap);  va_end (ap);  return result;}
Something went wrong with that request. Please try again.