fixed output of warnings count
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 11 Dec 2007 19:20:56 +0000 (19:20 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 11 Dec 2007 19:20:56 +0000 (19:20 +0000)
commit81c89074c65febbefbfd22af410fd8d8434151c6
tree827045028dfd2fe472f0565745fba5dcdf19e646
parent323968fc088f953b2f435504c24686a73f200a6b
fixed output of warnings count

[r18675]
main.c