summaryrefslogtreecommitdiff
path: root/polyhedron_minimize.c
diff options
context:
space:
mode:
Diffstat (limited to 'polyhedron_minimize.c')
-rw-r--r--polyhedron_minimize.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/polyhedron_minimize.c b/polyhedron_minimize.c
index 6cfab3bf..62e51c6e 100644
--- a/polyhedron_minimize.c
+++ b/polyhedron_minimize.c
@@ -12,6 +12,7 @@
#include <isl/vec.h>
#include <isl/ilp.h>
#include <isl_seq.h>
+#include <isl_vec_private.h>
/* The input of this program is the same as that of the "polytope_minimize"
* program from the barvinok distribution.