make miri a better RUSTC by default inside cargo-miri

[rust.git] / src / vector_clock.rs

diff --git a/src/vector_clock.rs b/src/vector_clock.rs
index e13e9c39fc69cb706c4c097433bc56f8520b352e..716fdba0f67c29aee28d5448eba1c55a46660956 100644 (file)
--- a/src/vector_clock.rs
+++ b/src/vector_clock.rs
@@ -108,10 +108,8 @@ pub fn join(&mut self, other: &Self) {
 
     /// Set the element at the current index of the vector
     pub fn set_at_index(&mut self, other: &Self, idx: VectorIdx) {
-        let idx = idx.index();
-        let mut_slice = self.get_mut_with_min_len(idx + 1);
-        let slice = other.as_slice();
-        mut_slice[idx] = slice[idx];
+        let mut_slice = self.get_mut_with_min_len(idx.index() + 1);
+        mut_slice[idx.index()] = other[idx];
     }
 
     /// Set the vector to the all-zero vector