From b96fd48e9faf33c32e17d704f5470c8d2af8b793 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Fri, 31 May 2024 15:12:56 +0200
Subject: [PATCH] Fix label error (#17)

---
 blueprint/src/chapter/main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/blueprint/src/chapter/main.tex b/blueprint/src/chapter/main.tex
index c93cda7a..0f653cce 100644
--- a/blueprint/src/chapter/main.tex
+++ b/blueprint/src/chapter/main.tex
@@ -772,7 +772,7 @@ \chapter{Proof of Metric Space Carleson}
 
 \begin{lemma}[S truncation]
 \label{S-truncation}
-\uses{-Hardy-Littlewood,kernel-summand,finitary-S-truncation}
+\uses{Hardy-Littlewood,kernel-summand,finitary-S-truncation}
 For all integers $S>0$
 $$
     \int \mathbf{1}_{G}(x)