From c8ae7d99f9e4875581ab3f31d88f63ab63a11ab6 Mon Sep 17 00:00:00 2001
From: Hsiao-Wei Wang <hwwang156@gmail.com>
Date: Wed, 17 Jun 2020 09:05:44 +0800
Subject: [PATCH] Fix after auto-merge

---
 specs/phase1/beacon-chain.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/specs/phase1/beacon-chain.md b/specs/phase1/beacon-chain.md
index 0b7db5516..ad543a941 100644
--- a/specs/phase1/beacon-chain.md
+++ b/specs/phase1/beacon-chain.md
@@ -760,6 +760,9 @@ def validate_attestation(state: BeaconState, attestation: Attestation) -> None:
     else:
         assert attestation.data.source == state.previous_justified_checkpoint
 
+    assert attestation.data.shard == compute_shard_from_committee_index(
+        state, attestation.data.index, attestation.data.slot)
+
     # Type 1: on-time attestations
     if is_on_time_attestation(state, attestation):
         # Correct parent block root