Changed the version from 3.1.1 to 3.1.0

[splint.git] / test / void.c

typedef void VOID;

int f (VOID)
{
  f();
  return 3;
}