From e6b4cec55c89ed03fb91f788382e247f5bda336f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymh15@ic.ac.uk>
Date: Thu, 9 Sep 2021 09:06:34 +0000
Subject: Update on Overleaf.

---
 main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 039f08d..187761e 100644
--- a/main.tex
+++ b/main.tex
@@ -46,7 +46,7 @@
 %%% 'Formal Verification of High-Level Synthesis'
 %%% by Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson.
 %%%
-\setcopyright{none}
+\setcopyright{rightsretained}
 \acmPrice{}
 \acmDOI{10.1145/3485494}
 \acmYear{2021}
-- 
cgit