From 8679803146361bdc97ae07a9bd3e2fd025dc0a18 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Fri, 18 Mar 2022 14:49:58 +0000 Subject: [PATCH] Fix typo --- thesis.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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}