From 7152d677c8f757deaec9d1d2ea991b9fcbd7e987 Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Mon, 20 May 2019 11:09:19 +0100
Subject: [PATCH] Use IsBlossomActivated in the definition of
 FounderAddressAdjustedHeight for consistency.

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

diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index 947bfd05..1b104a46 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -9226,7 +9226,7 @@ Define:
   \item $\FounderAddressAdjustedHeight(\BlockHeight \typecolon \Nat) :=$
         \vspace{-0.5ex}
   \item \tab $\begin{cases}
-                \BlockHeight, &\caseif \BlockHeight < \BlossomActivationHeight, \\
+                \BlockHeight, &\caseif \text{ not } \IsBlossomActivated(\BlockHeight), \\
                 \BlossomActivationHeight + \floor{\hfrac{\BlockHeight - \BlossomActivationHeight}{\BlossomPoWTargetSpacingRatio}}, &\caseotherwise
               \end{cases}$
 }
@@ -9949,6 +9949,8 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
     \item No changes to \Sprout\notsprout{ or \Sapling}.
 \blossom{
     \item Minor fix to the list of integer constants in \crossref{notation}.
+    \item Use $\IsBlossomActivated$ in the definition of $\FounderAddressAdjustedHeight$
+          for consistency.
 }
 \end{itemize}