commit 14adeefecc1802e2f2509e7a63fe256083e5fe3e
Author: Mattias Andrée <[email protected]>
AuthorDate: Sun Jun 5 16:58:53 2016 +0200
Commit: Mattias Andrée <[email protected]>
CommitDate: Sun Jun 5 16:58:53 2016 +0200
Manual: minor text fix
Signed-off-by: Mattias Andrée <[email protected]>
diff --git a/doc/miscellaneous.tex b/doc/miscellaneous.tex
index 123a362..312d01c 100644
--- 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