update isl for rename of isl_dim to isl_space
commitca8d19f1f7db130cf90f96bc860c2b1005dd59da
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 21 Aug 2011 09:26:00 +0000 (21 11:26 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 4 Sep 2011 11:55:53 +0000 (4 13:55 +0200)
tree2e4a6f3cd6e027dc763feee3bb1a9329c517d821
parentee8f9c0014bc9490b76156e5452c4baf850163c7
update isl for rename of isl_dim to isl_space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
21 files changed:
barvinok.cc
barvinok/evalue.h
barvinok_e.cc
barvinok_enumerate.cc
barvinok_summate.c
basis_reduction.c
bound.c
doc/Internal.tex
evalue_convert.cc
evalue_isl.c
iscc.c
isl
isl_param_util.c
lattice_width.c
lexmin.cc
polysign_isl.c
sample.c
summate.c
test.c
util.c
verify.c