Tweak for goose

merkle/merkle.go

@@ -204,7 +204,8 @@ func getPath(root *node, label []byte) *node {
 func (ctx *context) getProof(root *node, label []byte) []byte {
 	var proof = make([]byte, 0, cryptoffi.HashLen*hashesPerProofDepth)
 	var currNode = root
-	for depth := uint64(0); depth < cryptoffi.HashLen && currNode != nil; depth++ {
+	var depth = uint64(0)
+	for depth < cryptoffi.HashLen && currNode != nil {
 		children := currNode.children
 		// convert to uint64 bc otherwise pos+1 might overflow.
 		pos := uint64(label[depth])
@@ -215,6 +216,7 @@ func (ctx *context) getProof(root *node, label []byte) []byte {
 		for _, n := range children[pos+1:] {
 			proof = marshal.WriteBytes(proof, ctx.getHash(n))
 		}
+		depth++
 	}
 	return proof
 }