Update specs/light_client/merkle_proofs.md

2019-08-01 07:57:34 -04:00 · 2019-08-01 07:57:34 -04:00 · cb1a0cbd5f
parent 6f62146905
commit cb1a0cbd5f
1 changed files with 1 additions and 0 deletions
--- a/specs/light_client/merkle_proofs.md
+++ b/specs/light_client/merkle_proofs.md
@ -120,6 +120,7 @@ def get_generalized_index(typ: Type, path: List[Union[int, str]]) -> Generalized
    Converts a path (eg. `[7, "foo", 3]` for `x[7].foo[3]`, `[12, "bar", "__len__"]` for
    `len(x[12].bar)`) into the generalized index representing its position in the Merkle tree.
    """
+    root = 1
    for p in path:
        assert not is_basic_type(typ)  # If we descend to a basic type, the path cannot continue further
        if p == '__len__':