Run isl_basic_map_finalize after isl_{basic_,}map_eliminate
[platform/upstream/isl.git] / isl_bernstein.h
2010-06-12 Sven Verdoolaegeoptionally (and by default) use bernstein expansion...