From 619ee53a96d94a3f4764f5ae788d9270c1bd8c60 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 21 Sep 2021 10:10:18 +0100
Subject: Fix the copyright statement

---
 main.tex | 42 ++----------------------------------------
 1 file 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}
-- 
cgit