From: Sven Verdoolaege Date: Sun, 23 Jun 2013 18:22:29 +0000 (+0200) Subject: doc: fix typo X-Git-Tag: isl-0.12~1 X-Git-Url: https://repo.or.cz/w/isl.git/commitdiff_plain/19596bc4e5cd282b2e75d17077b1aaaeacbfd6f9 doc: fix typo Signed-off-by: Sven Verdoolaege --- 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, integers were represented in the external interface using the C type. This type has now been superseded by C. The C type will be removed from the external interface -in future releases. New code should should not use C. +in future releases. New code should not use C. The operations below are currently available on Cs. The meanings of these operations are essentially the same