From e88842877a7083ad0e2db2b0fa10c99c8035683b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 6 Sep 2021 13:52:07 +0200
Subject: Move and add to the acknowledgements

---
 main.tex | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 8b81f03..0bca3ca 100644
--- a/main.tex
+++ b/main.tex
@@ -182,6 +182,12 @@
 \input{limitations}
 \input{conclusion}
 
+\subsection*{Acknowledgements}
+We'd 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).
+
 %% Bibliography
 \bibliography{references.bib}
 
-- 
cgit