diff --git a/rust-version b/rust-version index 128548fd92..a8a75e9f04 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -192920c22bc8433ab14706ee0829e707d119b74f +e98897e5dc9898707bf4331c43b2e76ab7e282fe diff --git a/src/data_race.rs b/src/data_race.rs index 45159ef4c0..cb7b1fc6db 100644 --- a/src/data_race.rs +++ b/src/data_race.rs @@ -759,8 +759,7 @@ impl VClockAlloc { | MiriMemoryKind::ExternStatic | MiriMemoryKind::Tls, ) - | MemoryKind::CallerLocation - | MemoryKind::Vtable => (0, VectorIdx::MAX_INDEX), + | MemoryKind::CallerLocation => (0, VectorIdx::MAX_INDEX), }; VClockAlloc { alloc_ranges: RefCell::new(RangeMap::new(