isl_output.c: reuse print_disjunct for printing in Omega format
commit343dd83d170e70704475515fcd25872a4cb89101
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 8 Jul 2013 17:50:52 +0000 (8 19:50 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 24 Jul 2013 11:43:35 +0000 (24 13:43 +0200)
tree19ed60aeb3f0ef62a36be67b6de1b6cd8d8803d8
parent596a4d72c9539282b8d613f0b872c01ad207a8ff
isl_output.c: reuse print_disjunct for printing in Omega format

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