Fix typo

4 years ago · 8679803146
1 changed files with 1 additions and 1 deletions
--- 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}