Skip to content

Commit

Permalink
Update patriciaTree.ml
Browse files Browse the repository at this point in the history
Co-authored-by: Dorian Lesbre <[email protected]>
  • Loading branch information
mlemerre and dlesbre authored May 8, 2024
1 parent 807a0af commit 22b6cc8
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions patriciaTree.ml
Original file line number Diff line number Diff line change
Expand Up @@ -1302,9 +1302,7 @@ module MakeCustomHeterogeneous
let acc = fold_on_nonequal_union f ta tb1 acc in
acc
else
(* The keys are completely disjoing, but in which order
should I do them? *)
if ma > mb || ma == mb && pa <= pb then
if unsigned_lt pa pb then
let acc = fold fleft ta acc in
let acc = fold fright tb acc in
acc
Expand Down

0 comments on commit 22b6cc8

Please sign in to comment.