update with dynamic solution for problem 1

[ar1516.git] / a.tex

diff --git a/a.tex b/a.tex
index 9785572..ef0b82a 100644 (file)
--- a/a.tex
+++ b/a.tex
@@ -6,8 +6,8 @@ RAM: 8GB
 \end{lstlisting}
 
 \newpage
-\lstinputlisting[language=lisp,caption={a1.smt},
-       label={listing:a1.smt}]{src/a1.smt}
+\lstinputlisting[language=lisp,caption={a1.bash},
+       label={listing:a1.bash}]{src/a1.bash}
 
 \newpage
 \lstinputlisting[language=python,caption={a2.py},