isl_printer_print_ast_node: fix printing of mark nodes in isl format
commit7a68665062b120ce8768e89acdcca4b1a885db63
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 28 Jun 2016 09:23:42 +0000 (28 11:23 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 28 Jun 2016 10:28:51 +0000 (28 12:28 +0200)
tree3e54b014f1c0dbec376f6002d7f5198f7eeb0876
parent4d4da5d0e30478ce8c682a30aef7a40520026f4e
isl_printer_print_ast_node: fix printing of mark nodes in isl format

In particular, add a missing break.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ast.c