diff --git a/src/tools/miri/src/concurrency/data_race.rs b/src/tools/miri/src/concurrency/data_race.rs index 4a1c3ac868e..127d97bd5af 100644 --- a/src/tools/miri/src/concurrency/data_race.rs +++ b/src/tools/miri/src/concurrency/data_race.rs @@ -1074,7 +1074,12 @@ pub fn deallocate<'tcx>( size: Size, machine: &mut MiriMachine<'_, '_>, ) -> InterpResult<'tcx> { - self.unique_access(alloc_id, alloc_range(Size::ZERO, size), NaWriteType::Deallocate, machine) + self.unique_access( + alloc_id, + alloc_range(Size::ZERO, size), + NaWriteType::Deallocate, + machine, + ) } }