1 files changed, 5 insertions, 3 deletions
diff --git a/paper/paper.tex b/paper/paper.tex
index 7d63d8c..724dfc7 100644
--- a/paper/paper.tex
+++ b/paper/paper.tex
@@ -51,12 +51,14 @@
 	\input{ast}
 	\input{eval}
 	\input{interp}
-
-	\appendix
-	\input{ftypes}
+	\input{concl}
+	\input{disc}
 
 	\bibliographystyle{jfp}
 	\bibliography{paper}
+
+	\appendix
+	\input{ftypes}
 \end{multicols}
 
 \end{document}