diff options
Diffstat (limited to 'polly/lib/External/isl/doc/user.pod')
| -rw-r--r-- | polly/lib/External/isl/doc/user.pod | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/polly/lib/External/isl/doc/user.pod b/polly/lib/External/isl/doc/user.pod index 31689598fa5..8bd9e1e6f71 100644 --- a/polly/lib/External/isl/doc/user.pod +++ b/polly/lib/External/isl/doc/user.pod @@ -1492,7 +1492,8 @@ using the following functions. isl_bool isl_space_has_tuple_name( __isl_keep isl_space *space, enum isl_dim_type type); - const char *isl_space_get_tuple_name(__isl_keep isl_space *space, + __isl_keep const char *isl_space_get_tuple_name( + __isl_keep isl_space *space, enum isl_dim_type type); #include <isl/local_space.h> |
