Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0

1 files changed, 1 insertions, 1 deletions

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}