From 447f23c71b1bedc8ba363eeeb0c24affc79f89a0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 6 Jul 2021 10:13:30 +0200
Subject: [PATCH] fmt

---
 src/stacked_borrows.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/stacked_borrows.rs b/src/stacked_borrows.rs
index d5bd300959d..0b92817c972 100644
--- a/src/stacked_borrows.rs
+++ b/src/stacked_borrows.rs
@@ -518,9 +518,7 @@ pub fn new_allocation(
             ) => (extra.global_base_ptr(id), Permission::SharedReadWrite),
             // Heap allocations we only track precisely when raw pointers are tagged, for now.
             MemoryKind::Machine(
-                MiriMemoryKind::Rust
-                | MiriMemoryKind::C
-                | MiriMemoryKind::WinHeap,
+                MiriMemoryKind::Rust | MiriMemoryKind::C | MiriMemoryKind::WinHeap,
             ) => {
                 let tag =
                     if extra.track_raw { Tag::Tagged(extra.new_ptr()) } else { Tag::Untagged };