[splint.git] / test / mut.lcl

mutable type mut;

only mut mut_create (void) { } 
void mut_mod (mut a) { modifies a; }
Commit	Line	Data
885824d3	1	mutable type mut;
	2
	3	only mut mut_create (void) { }
	4	void mut_mod (mut a) { modifies a; }
	5