Update configure and makefile to aclocal/automake 1.10.1 and autoconf 2.61.

[splint.git] / test / mut.lcl

mutable type mut;

only mut mut_create (void) { } 
void mut_mod (mut a) { modifies a; }