X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=doc%2Fuser.pod;h=8fefa70aa05fddd78797f09e6c4bcb8c157481f5;hb=94794cab3eede818e7c2ee11a97523846adc6256;hp=ee73c6a1ec7822e560a1fa19bad16163c1c8f391;hpb=1c21ead9b654e5996a62ba694c1292a86cdcada5;p=platform%2Fupstream%2Fisl.git

diff --git a/doc/user.pod b/doc/user.pod
index ee73c6a..8fefa70 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -801,9 +801,13 @@ the name and the internal structure are lost.
 
 A local space is essentially a space with
 zero or more existentially quantified variables.
-The local space of a basic set or relation can be obtained
+The local space of a (constraint of a) basic set or relation can be obtained
 using the following functions.
 
+	#include <isl/constraint.h>
+	__isl_give isl_local_space *isl_constraint_get_local_space(
+		__isl_keep isl_constraint *constraint);
+
 	#include <isl/set.h>
 	__isl_give isl_local_space *isl_basic_set_get_local_space(
 		__isl_keep isl_basic_set *bset);