binary format fix

This commit is contained in:
AF 2023-08-31 16:25:03 +00:00
parent 4ac4887984
commit d304ce631b

View File

@ -70,10 +70,10 @@ pub trait BinaryTreesMutable<'a>: BinaryTreesEmpty<'a> + BinaryTreesTreeOf<'a> {
fn join(self, tl: Self::Tree, tr: Self::Tree) -> BTWrap<'a, Self, Self::Tree> {
let Some(rl) = self.refer(&tl) else {
return Self::pure(tr)
return Self::pure(tr);
};
let Some(rr) = self.refer(&tr) else {
return Self::pure(tl)
return Self::pure(tl);
};
Self::T::bind2(self.resolve(&rl), self.resolve(&rr), move |nl, nr| {
let (tll, tlr, kl) = self.split(&nl);