Change the debug output a bit.
commit10d9ea271b4906145c27565382970f36b056ef13
authorDan Carpenter <error27@gmail.com>
Sun, 10 Aug 2008 17:49:04 +0000 (10 20:49 +0300)
committerDan Carpenter <error27@gmail.com>
Sun, 10 Aug 2008 17:49:04 +0000 (10 20:49 +0300)
tree4753ea6540303b026a50b6161c5b31d9bb7cb4dd
parent483fd929b718e8f16b5ab06542a30e7487a8daef
Change the debug output a bit.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_states.c