remove typo

[ar1516.git] / 2.tex

diff --git a/2.tex b/2.tex
index a8fdc66..d266aad 100644 (file)
--- a/2.tex
+++ b/2.tex
@@ -99,9 +99,9 @@ power components and only regular components.
 \subsection{SMT format solution}
 The formula is easily convertable via a Python script to SMT format by literal
 conversion and said script is listed in Listing~\ref{listing:a2.bash}. The
-Python script optimizes a little bit from the original formula by leaving out
-the overlap checking between the same components. The solution is calculated
-using the command shown in Listing~\ref{listing:2.bash} and visualized with the
+script optimizes a little bit from the original formula by leaving out the
+overlap checking between the same components. The solution is calculated using
+the command shown in Listing~\ref{listing:2.bash} and visualized with the
 python script shown in Listing~\ref{listing:a2.py}
 
 \lstinputlisting[language=bash,