isl_map_plain_is_disjoint: fix error handling

[platform/upstream/isl.git] / isl_local_space_private.h

diff --git a/isl_local_space_private.h b/isl_local_space_private.h
index 990aff8..466e018 100644 (file)
--- a/isl_local_space_private.h
+++ b/isl_local_space_private.h
@@ -49,6 +49,10 @@ int isl_local_space_is_div_constraint(__isl_keep isl_local_space *ls,
 
 int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l);
 
+__isl_give isl_local_space *isl_local_space_substitute_seq(
+       __isl_take isl_local_space *ls,
+       enum isl_dim_type type, unsigned pos, isl_int *subs, int subs_len,
+       int first);
 __isl_give isl_local_space *isl_local_space_substitute(
        __isl_take isl_local_space *ls,
        enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs);