index 951921313e639e28ca3b47ebda0800c4876dd596..28f630f776611ed172ccb23c20c5d27aea6a04b0 100644 (file)
/**
* Format text to our output buffer
*/
- void out(char *fmt, ...);
+ void out(char *fmt, ...) G_GNUC_PRINTF(2,3);
/**
* Output a 2d vector
//For formatted output
String outbuf;
- char fmtbuf[2048];
//For statistics
int nrNodes;