Merge branch 'maint'

[platform/upstream/isl.git] / isl_bound.c

diff --git a/isl_bound.c b/isl_bound.c
index a2fd067..d9c10bc 100644 (file)
--- a/isl_bound.c
+++ b/isl_bound.c
@@ -14,6 +14,7 @@
 #include <isl_bernstein.h>
 #include <isl_range.h>
 #include <isl_polynomial_private.h>
+#include <isl_options_private.h>
 
 /* Compute a bound on the polynomial defined over the parametric polytope
  * using either range propagation or bernstein expansion and