Changed the version from 3.1.1 to 3.1.0

[splint.git] / test / ud2.lcl

void f1(out char **x) { modifies *x; }
void f2(char **x) { modifies *x; }
void f3(out int *y) { modifies *y; }