*** empty log message ***

[splint.git] / test / tests2.5 / boolbad

diff --git a/test/tests2.5/boolbad b/test/tests2.5/boolbad
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..c95bccc77f2e38584fcebab0bcd43d6fc47ae399 100644 (file)
Binary files a/test/tests2.5/boolbad and b/test/tests2.5/boolbad differ