On Fri, Aug 19, 2011 at 08:07:11AM +0200, Alan Barrett wrote:
> If it helped, then it would also be fine to change
> const char * format = "%s";
> to
> const char * const format = "%s";
> but it doesn't help.
but:
const char format[] ="%s";
works just fine.
Martin