Fix doubled word

diff --git a/Doc/lib/libstring.tex b/Doc/lib/libstring.tex
index c11aaa56013d27741005604b47cd55b5cc5235da..e95741eb8c31924359b1e3bb43f0a99908fc7b1a 100644 (file)
--- a/Doc/lib/libstring.tex
+++ b/Doc/lib/libstring.tex
@@ -10,7 +10,7 @@ classes and some useful string functions.  See the module
 \refmodule{re}\refstmodindex{re} for string functions based on regular
 expressions.
 
-The constants defined in this module are are:
+The constants defined in this module are:
 
 \begin{datadesc}{digits}
   The string \code{'0123456789'}.