about summary refs log tree commit diff
diff options
context:
space:
mode:
authorThe Miri Cronjob Bot <miri@cron.bot>2025-08-18 05:07:40 +0000
committerThe Miri Cronjob Bot <miri@cron.bot>2025-08-18 05:07:40 +0000
commit5a3871d7b2521f9c6edbdcbc24d381d6fdef0f6d (patch)
treeeb7c072ff377c4e688afdcc6a772c8a683cf1367
parentd5b31abfa972b42f0f26dd4d70a3b91b908c0b05 (diff)
fmt
-rw-r--r--src/tools/miri/src/shims/native_lib/mod.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/native_lib/mod.rs b/src/tools/miri/src/shims/native_lib/mod.rs
index 36c18379cb8..e2a0bdbd9b4 100644
--- a/src/tools/miri/src/shims/native_lib/mod.rs
+++ b/src/tools/miri/src/shims/native_lib/mod.rs
@@ -246,7 +246,8 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
                         let p_map = alloc.provenance();
                         for idx in overlap {
                             // If a provenance was read by the foreign code, expose it.
-                            if let Some((prov, _idx)) = p_map.get_byte(Size::from_bytes(idx), this) {
+                            if let Some((prov, _idx)) = p_map.get_byte(Size::from_bytes(idx), this)
+                            {
                                 this.expose_provenance(prov)?;
                             }
                         }