Skip to content

Commit 4dcc9c5

Browse files
author
The Miri Cronjob Bot
committed
fmt
1 parent f47808a commit 4dcc9c5

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/shims/native_lib/mod.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -246,7 +246,8 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
246246
let p_map = alloc.provenance();
247247
for idx in overlap {
248248
// If a provenance was read by the foreign code, expose it.
249-
if let Some((prov, _idx)) = p_map.get_byte(Size::from_bytes(idx), this) {
249+
if let Some((prov, _idx)) = p_map.get_byte(Size::from_bytes(idx), this)
250+
{
250251
this.expose_provenance(prov)?;
251252
}
252253
}

0 commit comments

Comments
 (0)