Fixed manual csvoverwrite.

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

imports bool;

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