diff --git a/thesis.tex b/thesis.tex index 2e24ba9..9c8b676 100644 --- a/thesis.tex +++ b/thesis.tex @@ -12203,7 +12203,7 @@ been published previously in the following papers. % The results of Sections~\ref{sec:deep-as-shallow} and \ref{sec:shallow-as-deep} appear in item \ref{en:ch-def-HL18}, whilst -the result of Section~\ref{sec:param-desugaring} appear in item +the result of Section~\ref{sec:param-desugaring} appears in item \ref{en:ch-def-HLA20}. \section{Deep as shallow}