From 9dfa6a981bf026b32de6119d8bce46bd40512911 Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Thu, 29 Aug 2019 12:13:02 +0100
Subject: [PATCH] Fix a missing reference warning for the Sprout spec.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
---
 protocol/protocol.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index 7f661b16..f5d5977e 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -10229,7 +10229,9 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
 
 \begin{itemize}
     \item Clicking on a section heading now shows section labels.
+\notsprout{
     \item Add a \snarkref{List of Theorems and Lemmata}{theorems}.
+}
     \item Changes needed to support TeXLive 2019.
 \end{itemize}