options.c: drop redundant include
[barvinok.git] / interface / all_barvinok.h
blob43bcf65eec5da8a31cb7f27bcf3632492d0b0b56
1 #include <interface/all.h>
2 #include <barvinok/isl.h>