diff options
Diffstat (limited to 'polly/lib/External/isl/isl_space_private.h')
| -rw-r--r-- | polly/lib/External/isl/isl_space_private.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/polly/lib/External/isl/isl_space_private.h b/polly/lib/External/isl/isl_space_private.h index f06318d9513..320e7c896d6 100644 --- a/polly/lib/External/isl/isl_space_private.h +++ b/polly/lib/External/isl/isl_space_private.h @@ -34,10 +34,6 @@ isl_bool isl_space_is_domain_internal(__isl_keep isl_space *space1, __isl_keep isl_space *space2); isl_bool isl_space_is_range_internal(__isl_keep isl_space *space1, __isl_keep isl_space *space2); -int isl_space_compatible_internal(__isl_keep isl_space *dim1, - __isl_keep isl_space *dim2); - -__isl_give isl_space *isl_space_as_set_space(__isl_take isl_space *dim); unsigned isl_space_offset(__isl_keep isl_space *dim, enum isl_dim_type type); |
