[splint.git] / test / mut.lh

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


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