commit 14adeefecc1802e2f2509e7a63fe256083e5fe3e
parent 70d4c3ccdff6d26296504660ff36d232017064bd
Author: Mattias Andrée <maandree@kth.se>
Date: Sun, 5 Jun 2016 16:58:53 +0200
Manual: minor text fix
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/miscellaneous.tex b/doc/miscellaneous.tex
@@ -152,7 +152,7 @@ there are cases where it is needed. In some case
\noindent
however its implementation is optimised to be
-around three times. It just swaps the members
+around three times as fast. It just swaps the members
of the parameters, and thereby the values, There
is no rewriting of {\tt .chars} involved; thus
it runs in constant time. It also does not