isl_output.c: reuse print_div instead of reimplementing it
commit596a4d72c9539282b8d613f0b872c01ad207a8ff
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 8 Jul 2013 14:30:41 +0000 (8 16:30 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 24 Jul 2013 11:43:35 +0000 (24 13:43 +0200)
tree8fb1e969ba16cb32e3b626d263d2510deb09ff7c
parentdf7fb0c7fcd91c96c9f9c72110b2761a3aed1d85
isl_output.c: reuse print_div instead of reimplementing it

In particular, there were two near duplicates of this function.
Replace them by a call to print_div.

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