[splint.git] / test / mut.lh

/* Output from LCLint 3.0.0.13 */
# include "bool.h"


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