From a61f0a5b3a4664f2e1f42e788cc195a7d56ade28 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 10 Sep 2021 15:46:02 +0100
Subject: Make the diagram larger and add copyright

---
 main.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 9330e10..3bb0c86 100644
--- a/main.tex
+++ b/main.tex
@@ -46,7 +46,8 @@
 %%% 'Formal Verification of High-Level Synthesis'
 %%% by Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson.
 %%%
-\setcopyright{rightsretained}
+
+\setcopyright{acmlicensed}
 \acmPrice{}
 \acmDOI{10.1145/3485494}
 \acmYear{2021}
@@ -216,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).
+  Programme Grant (EP/R006865/1) as well as EP/P010040/1.
 \end{acks}
 
 %% Bibliography
-- 
cgit 

