From 19596bc4e5cd282b2e75d17077b1aaaeacbfd6f9 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 23 Jun 2013 20:22:29 +0200
Subject: [PATCH] doc: fix typo

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

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
-- 
2.11.4.GIT