diff options
Diffstat (limited to 'isl_input.c')
-rw-r--r-- | isl_input.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isl_input.c b/isl_input.c index b887d1a4..76b0d1d4 100644 --- a/isl_input.c +++ b/isl_input.c @@ -18,7 +18,7 @@ #include <isl_ctx_private.h> #include <isl_map_private.h> #include <isl/set.h> -#include <isl/seq.h> +#include <isl_seq.h> #include <isl_stream_private.h> #include <isl/obj.h> #include "isl_polynomial_private.h" |