fmt

2024-03-14 05:02:48 +00:00 · 2024-03-14 05:02:48 +00:00 · 4cd673b4c6
commit 4cd673b4c6
parent 06ca3abc5a
1 changed files with 6 additions and 1 deletions
--- a/src/tools/miri/src/concurrency/data_race.rs
+++ b/src/tools/miri/src/concurrency/data_race.rs
@ -1074,7 +1074,12 @@ impl VClockAlloc {
        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,
+        )
    }
 }