Fixes for win32

[splint.git] / test / manual / setChar.c

char buf[10];

void setChar()
{
   buf[10] = 'x';
}