update finished a1

[master.git] / ar / assignments / a.tex

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