simplify replicated list nextDot

rescala-lang · Feb 6, 2024 · 7da89d4 · 7da89d4
1 parent 6ecd998
commit 7da89d4
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Modules/RDTs/src/main/scala/kofre/datatypes/contextual/ReplicatedSet.scala b/Modules/RDTs/src/main/scala/kofre/datatypes/contextual/ReplicatedSet.scala
@@ -37,8 +37,7 @@ object ReplicatedSet {
 
     def add(using ReplicaId)(e: E): CausalMutator = {
       val dm        = current.inner
-      val cc        = context
-      val nextDot   = cc.max(replicaId).fold(Dot(replicaId, 0))(_.advance)
+      val nextDot   = context.nextDot(replicaId)
       val v: DotSet = dm.repr.getOrElse(e, DotSet.empty)
 
       deltaState(