diff options
Diffstat (limited to 'isl_output.c')
-rw-r--r-- | isl_output.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isl_output.c b/isl_output.c index deeb2433..3d35040a 100644 --- a/isl_output.c +++ b/isl_output.c @@ -15,7 +15,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_polynomial_private.h> #include <isl_printer_private.h> #include <isl_space_private.h> |