diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-17 21:20:25 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-17 21:20:25 +0200 |
| commit | 7c3c2716ff46fb3276c16bdaea226e5a5abc08c0 (patch) | |
| tree | 8a985a2ac605d07089841ac906e13601c9d06390 | |
| parent | 3d3550ffa02089cb8a805e9d48a96cdbeb6f6fde (diff) | |
| download | rust-7c3c2716ff46fb3276c16bdaea226e5a5abc08c0.tar.gz rust-7c3c2716ff46fb3276c16bdaea226e5a5abc08c0.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/alloc_addresses/mod.rs | 6 |
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; |
