Correction of typo in L22 for error less than 5%.

Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex

@@ -252,7 +252,7 @@ for receipt of the 3rd}}
 \item Specification fragment for a linear solver
 \begin{itemize}
 \item \structure{Given $A$ and $b$, solve the  linear system $A x = b$ for $x$, such that the error in any entry of
-$x$ is than 5 \%.}
+$x$ is less than 5 \%.}
 \end{itemize}
 \item What is a potential problems with this specification?
 \begin{itemize}