From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 8 Feb 2010 15:05:56 +0000 (+0100)
Subject: doc: improve decription of isl_map_transitive_closure
X-Git-Tag: isl-0.02~104
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=d602d47121ac9bda45bf9644a9e664ee62de0393;p=platform%2Fupstream%2Fisl.git

doc: improve decription of isl_map_transitive_closure
---

diff --git a/doc/user.pod b/doc/user.pod
index e976d9d..8bc8480 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -785,7 +785,7 @@ cases of piecewise translations (i.e., piecewise uniform dependences).
 		__isl_take isl_map *map, int *exact);
 
 Compute the transitive closure of C<map>.
-The result may be an overapproximation.  If the result is exact,
+The result may be an overapproximation.  If the result is known to be exact,
 then C<*exact> is set to C<1>.
 The current implementation only produces exact results for particular
 cases of piecewise translations (i.e., piecewise uniform dependences).