Added the splint.org css sheet to the html version of the faq.

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

imports bool;

falseexit void check (bool x) { modifies nothing; }