Fixed handling of wide character strings (L"test").

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

imports bool;

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