Skip to content

Commit 90f4993

Browse files
author
The Miri Cronjob Bot
committed
fmt
1 parent 645e65d commit 90f4993

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

src/machine.rs

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1353,7 +1353,10 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
13531353
}
13541354

13551355
#[inline(always)]
1356-
fn runtime_checks(ecx: &InterpCx<'tcx, Self>, r: mir::RuntimeChecks) -> InterpResult<'tcx, bool> {
1356+
fn runtime_checks(
1357+
ecx: &InterpCx<'tcx, Self>,
1358+
r: mir::RuntimeChecks,
1359+
) -> InterpResult<'tcx, bool> {
13571360
interp_ok(r.value(&ecx.tcx.sess))
13581361
}
13591362

0 commit comments

Comments
 (0)