[splint.git] / test / mut.lh

/* Output from Splint 3.0.0.20 */
# include "bool.h"


extern /*@only@*/ mut mut_create (void);
extern void mut_mod (mut  /* a */);
Commit	Line	Data
11db3170	1	/* Output from Splint 3.0.0.20 */
885824d3	2	# include "bool.h"
	3
	4
	5	extern /@only@/ mut mut_create (void);
	6	extern void mut_mod (mut /* a */);