fix membership lteq

rescala-lang · Nov 4, 2024 · 7625a60 · 7625a60
1 parent 988bea3
commit 7625a60
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Modules/RDTs/src/main/scala/rdts/datatypes/experiments/protocols/Membership.scala b/Modules/RDTs/src/main/scala/rdts/datatypes/experiments/protocols/Membership.scala
@@ -127,6 +127,7 @@ object Membership {
 
     override def lteq(left: Membership[A, C, D], right: Membership[A, C, D]): Boolean =
       if left.counter < right.counter then true
+      else if left.log.length < right.log.length then true
       else
         Lattice[D[A]].lteq(
           left.innerConsensus,