diff --git a/src/contrib/cluster/Akka.DistributedData/ORSet.cs b/src/contrib/cluster/Akka.DistributedData/ORSet.cs index 7ebbd63bc7f..4701470ced8 100644 --- a/src/contrib/cluster/Akka.DistributedData/ORSet.cs +++ b/src/contrib/cluster/Akka.DistributedData/ORSet.cs @@ -432,7 +432,7 @@ public ORSet PruningCleanup(UniqueAddress removedNode) return new ORSet(updated, VersionVector.PruningCleanup(removedNode)); } - /// + public bool Equals(ORSet other) { if (ReferenceEquals(other, null)) return false; @@ -441,14 +441,14 @@ public bool Equals(ORSet other) return VersionVector == other.VersionVector && ElementsMap.SequenceEqual(other.ElementsMap); } - /// + public IEnumerator GetEnumerator() => ElementsMap.Keys.GetEnumerator(); IEnumerator IEnumerable.GetEnumerator() => GetEnumerator(); - /// + public override bool Equals(object obj) => obj is ORSet && Equals((ORSet)obj); - /// + public override int GetHashCode() { unchecked