fixed typo

jordanspooner · Apr 5, 2018 · e4e1861 · e4e1861
1 parent 14a5ddc
commit e4e1861
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/141.pdf b/141.pdf
diff --git a/141.tex b/141.tex
@@ -276,7 +276,7 @@ \subsection{Program Specifications}
 \subsection{Conditional Branches}
 
 We can assume the pre-condition and the \texttt{if else} condition.
-Have to show post-condition holds on borth branches of the code.
+Have to show post-condition holds on both branches of the code.
 
 \emph{Example}: Consider the Java code:
 \begin{lstlisting}[language=Java,basicstyle={\small\ttfamily},tabsize=4,mathescape=true,commentstyle={\color{grey}}]