From 31d941375e776491328362f888b6cce3d522b92a Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 6 Sep 2013 15:04:03 +0200 Subject: [PATCH] declare isl_space_to_str Signed-off-by: Sven Verdoolaege --- doc/user.pod | 4 ++++ include/isl/space.h | 1 + 2 files changed, 5 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index d988c075..30f6c8d6 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -3087,6 +3087,10 @@ Alternatively, a string representation can be obtained directly using the following functions, which always print in isl format. + #include + __isl_give char *isl_space_to_str( + __isl_keep isl_space *space); + #include __isl_give char *isl_val_to_str(__isl_keep isl_val *v); __isl_give char *isl_multi_val_to_str( diff --git a/include/isl/space.h b/include/isl/space.h index e2d9ff26..e73e45cb 100644 --- a/include/isl/space.h +++ b/include/isl/space.h @@ -157,6 +157,7 @@ int isl_space_compatible(__isl_keep isl_space *dim1, __isl_keep isl_space *dim2); unsigned isl_space_dim(__isl_keep isl_space *dim, enum isl_dim_type type); +__isl_give char *isl_space_to_str(__isl_keep isl_space *space); __isl_give isl_printer *isl_printer_print_space(__isl_take isl_printer *p, __isl_keep isl_space *dim); void isl_space_dump(__isl_keep isl_space *dim); -- 2.11.4.GIT