From 4a738dd36aa1117637502bb3dc3c93c94ba1d052 Mon Sep 17 00:00:00 2001
From: Yoichi Hirai <i@yoichihirai.com>
Date: Tue, 21 Mar 2017 17:12:33 +0100
Subject: [PATCH] EIP 100: ommers of parent should be counted, not the direct
 ommers

---
 Paper.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Paper.tex b/Paper.tex
index 38995189..085d05dd 100644
--- a/Paper.tex
+++ b/Paper.tex
@@ -457,7 +457,7 @@ \subsubsection{Block Header Validity}
 \end{equation}
 \begin{equation*}
 x \equiv \begin{cases}
-1 & \text{if} \, \lVert B_\mathbf{U}\rVert = 0 \\
+1 & \text{if} \, \lVert P(H)_\mathbf{U}\rVert = 0 \\
 2 & \text{otherwise}
 \end{cases}
 \end{equation*}