isl_access_info_free: return NULL

[platform/upstream/isl.git] / doc / user.pod

diff --git a/doc/user.pod b/doc/user.pod
index 3ef99a0..49df206 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1035,6 +1035,10 @@ by the specified amount (which may be negative).
 
 To actually print something, use
 
+       #include <isl/printer.h>
+       __isl_give isl_printer *isl_printer_print_double(
+               __isl_take isl_printer *p, double d);
+
        #include <isl/set.h>
        __isl_give isl_printer *isl_printer_print_basic_set(
                __isl_take isl_printer *printer,
@@ -4222,7 +4226,7 @@ then value based dependence analysis is performed.
                __isl_take isl_access_info *acc,
                __isl_take isl_map *source, int must,
                void *source_user);
-       void isl_access_info_free(__isl_take isl_access_info *acc);
+       void *isl_access_info_free(__isl_take isl_access_info *acc);
 
        __isl_give isl_flow *isl_access_info_compute_flow(
                __isl_take isl_access_info *acc);