diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index 1009eba5..0844f6f2 100644 Binary files a/papers/hatra21/hatra21.pdf and b/papers/hatra21/hatra21.pdf differ diff --git a/papers/hatra21/hatra21.tex b/papers/hatra21/hatra21.tex index c11cd833..24c0727c 100644 --- a/papers/hatra21/hatra21.tex +++ b/papers/hatra21/hatra21.tex @@ -9,8 +9,6 @@ \acmISBN{} \expandafter\def\csname @copyrightpermission\endcsname{\raisebox{-1ex}{\includegraphics[height=3.5ex]{cc-by}} This work is licensed under a Creative Commons Attribution 4.0 International License.} -\usepackage{listings} - \newcommand{\squnder}[1]{\color{red}\underline{{\color{black}#1}}\color{black}} \newcommand{\infer}[2]{\frac{\textstyle#1}{\textstyle#2}} \newcommand{\erase}{\mathrm{erase}}