isl_set_lattice_width: rename "dim" variable to "space"
[barvinok.git] / barvinok / NTL.h.normal
blob7fa0df60575cf4291b940159a80a1bcf2c88681e
1 #include <NTL/ZZ.h>
2 #include <NTL/vector.h>