From 2bfb95f15be85c684807c97373f383026b44999b Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 4 Dec 2010 14:47:36 +0100
Subject: [PATCH] doc: emphasize the need for isl_int_get_gmp and
 isl_int_set_gmp

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 doc/user.pod | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/user.pod b/doc/user.pod
index 74ffd1a6..e0eb54b9 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -195,7 +195,7 @@ are performed in exact integer arithmetic using C<GMP>.
 However, to allow future versions of C<isl> to optionally
 support fixed integer arithmetic, all calls to C<GMP>
 are wrapped inside C<isl> specific macros.
-The basic type is C<isl_int> and the following operations
+The basic type is C<isl_int> and the operations below
 are available on this type.
 The meanings of these operations are essentially the same
 as their C<GMP> C<mpz_> counterparts.
@@ -203,6 +203,10 @@ As always with C<GMP> types, C<isl_int>s need to be
 initialized with C<isl_int_init> before they can be used
 and they need to be released with C<isl_int_clear>
 after the last use.
+The user should not assume that an C<isl_int> is represented
+as a C<mpz_t>, but should instead explicitly convert between
+C<mpz_t>s and C<isl_int>s using C<isl_int_set_gmp> and
+C<isl_int_get_gmp> whenever a C<mpz_t> is required.
 
 =over
 
-- 
2.11.4.GIT