Skip to content

Commit

Permalink
fix merging
Browse files Browse the repository at this point in the history
  • Loading branch information
rmgk committed Nov 8, 2024
1 parent 7b2a6a1 commit 45ed175
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -120,7 +120,7 @@ object Membership {
left.counter,
Lattice[C[Set[Uid]]].merge(left.membersConsensus, right.membersConsensus),
Lattice[D[A]].merge(left.innerConsensus, right.innerConsensus),
left.log,
Lattice.mapLattice(using Lattice.assertEquals).merge(left.log, right.log),
left.membershipChanging || right.membershipChanging,
left.members
)
Expand Down

0 comments on commit 45ed175

Please sign in to comment.