about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-04-17 21:20:25 +0200
committerRalf Jung <post@ralfj.de>2024-04-17 21:20:25 +0200
commit7c3c2716ff46fb3276c16bdaea226e5a5abc08c0 (patch)
tree8a985a2ac605d07089841ac906e13601c9d06390
parent3d3550ffa02089cb8a805e9d48a96cdbeb6f6fde (diff)
downloadrust-7c3c2716ff46fb3276c16bdaea226e5a5abc08c0.tar.gz
rust-7c3c2716ff46fb3276c16bdaea226e5a5abc08c0.zip
fmt
-rw-r--r--src/tools/miri/src/alloc_addresses/mod.rs6
1 files changed, 1 insertions, 5 deletions
diff --git a/src/tools/miri/src/alloc_addresses/mod.rs b/src/tools/miri/src/alloc_addresses/mod.rs
index b4983656adc..3e00e6037c2 100644
--- a/src/tools/miri/src/alloc_addresses/mod.rs
+++ b/src/tools/miri/src/alloc_addresses/mod.rs
@@ -141,11 +141,7 @@ trait EvalContextExtPriv<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
         }
     }
 
-    fn addr_from_alloc_id(
-        &self,
-        alloc_id: AllocId,
-        _kind: MemoryKind,
-    ) -> InterpResult<'tcx, u64> {
+    fn addr_from_alloc_id(&self, alloc_id: AllocId, _kind: MemoryKind) -> InterpResult<'tcx, u64> {
         let ecx = self.eval_context_ref();
         let mut global_state = ecx.machine.alloc_addresses.borrow_mut();
         let global_state = &mut *global_state;