Skip to content

Commit 1abf2cf

Browse files
committed
Auto merge of #2109 - RalfJung:fmt, r=RalfJung
rustfmt
2 parents f791e2e + 8dbe1d0 commit 1abf2cf

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/machine.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -380,7 +380,8 @@ impl<'mir, 'tcx> Evaluator<'mir, 'tcx> {
380380
// Most of them are for weak symbols, which we all set to null (indicating that the
381381
// symbol is not supported, and triggering fallback code which ends up calling a
382382
// syscall that we do support).
383-
for name in &["__cxa_thread_atexit_impl", "getrandom", "statx", "__clock_gettime64"] {
383+
for name in &["__cxa_thread_atexit_impl", "getrandom", "statx", "__clock_gettime64"]
384+
{
384385
let layout = this.machine.layouts.usize;
385386
let place = this.allocate(layout, MiriMemoryKind::ExternStatic.into())?;
386387
this.write_scalar(Scalar::from_machine_usize(0, this), &place.into())?;

0 commit comments

Comments
 (0)