From 437b0c42e713774e7a27ccdc1f08770e30aeacbd Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 19 Jun 2025 00:26:46 +0100
Subject: Fix missing character warning.

---
 sec/intro.ltx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sec/intro.ltx')

diff --git a/sec/intro.ltx b/sec/intro.ltx
index 0a50ff4..f520bc4 100644
--- a/sec/intro.ltx
+++ b/sec/intro.ltx
@@ -24,7 +24,7 @@
 
 \subsubsection*{Contributions}%
 In this paper we:
-\begin{itemize}
+\begin{itemize}[nosep]
   \item contrast different methods for encoding inductive types in
     System~T (\cref{M-subsec:encoding-strategies});
   \item give the syntax, typing rules and equational theory for
-- 
cgit v1.2.3

