Removed stray files in test

[splint.git] / test / temp / unrecog.c

int f (void)
{
  /*@asdghjf@*/
  /*@-gasdf@*/
  return 3;
}