# HG changeset patch
# User Chengsong
# Date 1583271413 0
# Node ID 5e47080a7164f19fd931ca061e2d6836ef08b0d1
# Parent  f2aa71c76cbad3805dcfa1077ad3e4da41a3f045
i

diff -r f2aa71c76cba -r 5e47080a7164 etnms/etnms.tex
--- a/etnms/etnms.tex	Mon Mar 02 22:13:37 2020 +0000
+++ b/etnms/etnms.tex	Tue Mar 03 21:36:53 2020 +0000
@@ -887,7 +887,7 @@
 %\end{center}
 
 \noindent
-which established the bit-sequence algorithm produces the same
+which established that the bit-sequence algorithm produces the same
 result as the original algorithm, which does not use 
 bit-sequence.
 The proof uses two ``tricks''. One is that it uses a \flex-function