| commit | 8b901c101148b21716825722ebba63b6c6c84724 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 19 Apr 2014 12:11:03 +0000 (19 14:11 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 17 Jul 2014 17:46:04 +0000 (17 19:46 +0200) | ||
| tree | 482f588e81f90559a48be83877fdf98954584135 | treesnapshot (tar.gz zip) |
| parent | 9629052501145f499552d14f2d032137518ee293 | commitdiff |
pet_stmt_print_body: do not print anything for kill statements
Arguably, a user should not even try to print a kill statement,
but we already special case assume statements, so we should do
the same for kill statements.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Arguably, a user should not even try to print a kill statement,
but we already special case assume statements, so we should do
the same for kill statements.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| print.c | diffblobblamehistory |