summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2013-06-23 20:22:29 +0200
committerSven Verdoolaege <skimo@kotnet.org>2013-06-23 20:22:29 +0200
commit19596bc4e5cd282b2e75d17077b1aaaeacbfd6f9 (patch)
tree2f3284e59d9ce44224f7922dc65114c80de48c16
parent0a83197c479109b0f7c327484b80a878f291b296 (diff)
downloadisl-19596bc4e5cd282b2e75d17077b1aaaeacbfd6f9.tar.gz
isl-19596bc4e5cd282b2e75d17077b1aaaeacbfd6f9.tar.bz2
isl-19596bc4e5cd282b2e75d17077b1aaaeacbfd6f9.zip
doc: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
-rw-r--r--doc/user.pod2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user.pod b/doc/user.pod
index 06609fc8..1815c170 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -555,7 +555,7 @@ In previous versions of C<isl>, integers were represented
in the external interface using the C<isl_int> type.
This type has now been superseded by C<isl_val>.
The C<isl_int> type will be removed from the external interface
-in future releases. New code should should not use C<isl_int>.
+in future releases. New code should not use C<isl_int>.
The operations below are currently available on C<isl_int>s.
The meanings of these operations are essentially the same