update
[master.git] / ar / assignments / a.tex
index b676ffe..2c35ac5 100644 (file)
@@ -1,6 +1,6 @@
 \section{Appendix}
 \newpage
-\lstinputlisting[language=lisp,caption={a1.smt},label={listing:a1.smt}]{src/a1.smt}
+\lstinputlisting[language=lisp,caption={a1.smt},label={listing:a1.smt}]{src/1.smt}
 
 \newpage
 \lstinputlisting[language=python,caption={a4.py},label={listing:4.py}]{src/4.py}