typo

content/turing-machines/undecidability/trakhtenbrot.tex

@@ -62,7 +62,7 @@
   are the same (same state, same head position, same tape contents).
   We can define a finite !!{structure}~$\Struct{M''}$ that satisfies
   $!T(M,\emptyseq) \land !E(M,\emptyseq)$ (exercise). We can
-  change~$!T(M,w)$ in a suitable way we so that such !!{structure}s
+  change~$!T(M,w)$ in a suitable way so that such !!{structure}s
   are ruled out.
 
   \begin{prob}