Skip to content

Commit 4ebc5c2

Browse files
committed
docs: fix comment
1 parent 081a33f commit 4ebc5c2

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

src/lean_spec/spec/forks/lstar/validator_duties.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -92,7 +92,7 @@ def produce_attestation_data(self, store: LstarStore, slot: Slot) -> Attestation
9292
if justified_source.root == Bytes32.zero():
9393
justified_source = Checkpoint(root=store.head, slot=justified_source.slot)
9494

95-
# Sanity check: the source must be after target.
95+
# Sanity check: the source must be before the target.
9696
assert justified_source.slot <= target_checkpoint.slot
9797

9898
return self.attestation_data_class(

0 commit comments

Comments
 (0)