Fix the copyright statement

1 files changed, 2 insertions, 40 deletions

diff --git a/main.tex b/main.tex
index b19ad9d..9c010e0 100644
--- a/main.tex
+++ b/main.tex
@@ -1,53 +1,15 @@
-\documentclass[acmsmall,screen]{acmart}
-
-\settopmatter{}
-%\documentclass[pagebackref=true,acmsmall,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
-%% For double-blind review submission, w/ CCS and ACM Reference
-%\documentclass[acmsmall,review,anonymous]{acmart}\settopmatter{printfolios=true}
-%% For single-blind review submission, w/o CCS and ACM Reference (max submission space)
-%\documentclass[acmsmall,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
-%% For single-blind review submission, w/ CCS and ACM Reference
-%\documentclass[acmsmall,review]{acmart}\settopmatter{printfolios=true}
-%% For final camera-ready submission, w/ required CCS and ACM Reference
-%\documentclass[acmsmall]{acmart}\settopmatter{}
-
-%% Journal information
-%% Supplied to authors by publisher for camera-ready submission;
-%% use defaults for review submission.
-%%\acmJournal{PACMPL}
-%%\acmVolume{1}
-%%\acmNumber{CONF} % CONF = POPL or ICFP or OOPSLA
-%%\acmArticle{1}
-%%\acmYear{2018}
-%%\acmMonth{1}\acmDOI{}
-%%\startPage{1}
-
-%% Copyright information
-%% Supplied to authors (based on authors' rights management selection;
-%% see authors.acm.org) by publisher for camera-ready submission;
-%% use 'none' for review submission.
-%\setcopyright{acmcopyright}
-%\setcopyright{acmlicensed}
-%\setcopyright{rightsretained}
-%\copyrightyear{2018}
+\documentclass[acmsmall,screen]{acmart}\settopmatter{}
 
 %% Bibliography style
 \bibliographystyle{ACM-Reference-Format}
 %% Citation style
 \citestyle{acmauthoryear}
 
-
-%%% If you see 'ACMUNKNOWN' in the 'setcopyright' statement below,
-%%% please first submit your publishing-rights agreement with ACM (follow link on submission page).
-%%% Then please update our instructions page and copy-and-paste the NEW commands into your article.
-%%% Please contact us in case of questions; allow up to 10 min for the system to propagate the information.
-%%%
 %%% The following is specific to OOPSLA '21 and the paper
 %%% 'Formal Verification of High-Level Synthesis'
 %%% by Yann Herklotz, James D. Pollard, Nadesh Ramanathan, and John Wickerson.
 %%%
-
-\setcopyright{acmlicensed}
+\setcopyright{rightsretained}
 \acmPrice{}
 \acmDOI{10.1145/3485494}
 \acmYear{2021}