[splint.git] / test / db3 / check.lh

/* Output from LCLint 3.0.0.13 */

# include "bool.h"
# include "bool.h"

extern /*@falseexit@*/ void check (bool  /* x */);
Commit	Line	Data
1d239d69	1	/* Output from LCLint 3.0.0.13 */
885824d3	2
	3	# include "bool.h"
	4	# include "bool.h"
	5
	6	extern /@falseexit@/ void check (bool /* x */);