diff options
Diffstat (limited to 'src/table/crdt/crdt.rs')
| -rw-r--r-- | src/table/crdt/crdt.rs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/table/crdt/crdt.rs b/src/table/crdt/crdt.rs index 636b6df6..7abe8ba9 100644 --- a/src/table/crdt/crdt.rs +++ b/src/table/crdt/crdt.rs @@ -52,10 +52,8 @@ where *self = other.clone(); } warn!("Making an arbitrary choice: {:?}", self); - } else { - if other > self { - *self = other.clone(); - } + } else if other > self { + *self = other.clone(); } } } |