Fix hashing bug due to incorrect height of Children

Polat1181 · May 31, 2022 · b8d9767 · b8d9767
1 parent 71a25aa
commit b8d9767
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tct/src/internal/complete/node/children.rs b/tct/src/internal/complete/node/children.rs
@@ -59,7 +59,7 @@ impl<Child: Debug> Debug for Children<Child> {
 }
 
 impl<Child: Height> Height for Children<Child> {
-    type Height = <Child as Height>::Height;
+    type Height = Succ<<Child as Height>::Height>;
 }
 
 impl<Child: Height + GetHash> GetHash for Children<Child> {