diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index efd816ac..aece6cae 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 c648ca85..85bfe771 100644 --- a/papers/hatra21/hatra21.tex +++ b/papers/hatra21/hatra21.tex @@ -325,7 +325,7 @@ Some issues raised by mixed-mode types: only with different flagging? \end{itemize} -\emph{Related work}: this appears to be an undererxplored area. +\emph{Related work}: this appears to be an under-explored area. \section{Conclusions}