| commit | c96bdb9fccecac6b8f7e66dabbfef019e7495fe9 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 28 Jul 2015 15:44:23 +0000 (28 17:44 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 31 Jul 2015 14:31:37 +0000 (31 16:31 +0200) | ||
| tree | 31532ebfb57680f70ea9acc8c32f997aa96dc8f6 | treesnapshot (tar.gz zip) |
| parent | 19bd6abe6fbec27bcca99039f8e1af559b2afef3 | commitdiff |
isl_output.c: print_disjunct: use names from space argument
A space argument is explicitly passed to print_disjunct such that
it would use consistent names over all disjuncts. Commit 596a4d7
(isl_output.c: reuse print_div instead of reimplementing it,
Mon Jul 8 16:30:41 2013 +0200) broke this by using the names
from the basic map to print integer division definitions.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
A space argument is explicitly passed to print_disjunct such that
it would use consistent names over all disjuncts. Commit 596a4d7
(isl_output.c: reuse print_div instead of reimplementing it,
Mon Jul 8 16:30:41 2013 +0200) broke this by using the names
from the basic map to print integer division definitions.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_output.c | diffblobblamehistory |