From e33bf695db921a08e89bf8efb7572a51a0c86917 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 29 Jun 2021 20:47:28 +0200 Subject: [PATCH] rustup --- rust-version | 2 +- src/data_race.rs | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) 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(