Update acknowledgements

1 files changed, 6 insertions, 9 deletions

diff --git a/main.tex b/main.tex
index ccbbf8e..4a4f00e 100644
--- a/main.tex
+++ b/main.tex
@@ -212,19 +212,16 @@
 \input{limitations}
 \input{conclusion}
 
-\subsection*{Acknowledgements}
-We would like to thank Sandrine Blazy, Jianyi Cheng, Alastair Donaldson, Andreas Lööw, and the
-anonymous reviewers for their helpful feedback.  This work was financially supported by the EPSRC
-via the Research Institute for Verified Trustworthy Software Systems (VeTSS) and the IRIS Programme
-Grant (EP/R006865/1).
+\begin{acks}
+  We would like to thank Sandrine Blazy, Jianyi Cheng, Alastair Donaldson, Andreas Lööw, and the
+  anonymous reviewers for their helpful feedback.  This work was financially supported by the EPSRC
+  via the Research Institute for Verified Trustworthy Software Systems (VeTSS) and the IRIS
+  Programme Grant (EP/R006865/1).
+\end{acks}
 
 %% Bibliography
 \bibliography{references.bib}
 
-
-%% Appendix
-%\input{appendix}
-
 \end{document}
 
 %%% Local Variables: