]> andersk Git - splint.git/blob - test/db3/check.lh
5562f76fcfddbf03e1f517a3f5ee49e7f8825844
[splint.git] / test / db3 / check.lh
1 /* Output from LCLint 3.0.0.16 */
2
3 # include "bool.h"
4 # include "bool.h"
5
6 extern /*@falseexit@*/ void check (bool  /* x */);
This page took 0.042554 seconds and 3 git commands to generate.