From 301291487f61c924ec16ec73c632b19ac5395a6d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 9 Sep 2021 21:04:53 +0100
Subject: Update acknowledgements

---
 main.tex | 15 ++++++---------
 1 file 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:
-- 
cgit