update isl to version 0.24
[barvinok.git] / barvinok / NTL.h.broken
blobee93e0ee66823e7960d7d71ed0b25ef92fc6b676
1 #include <barvinok/set.h>
2 #include <NTL/ZZ.h>
3 #include <NTL/vector.h>