Fixes for win32

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

# include "setname.h"

void setName (employee e)
 /*@modifies e->name@*/
{
  strcpy (e->name, "");
}