1 files changed, 1 insertions, 1 deletions
diff --git a/main.tex b/main.tex
index 2206e06..f9c72b5 100644
--- a/main.tex
+++ b/main.tex
@@ -217,7 +217,7 @@
   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) as well as EP/P010040/1.
+  Programme Grant (EP/R006865/1).
 \end{acks}
 
 %% Bibliography