Skip to content

Commit dd42a47

Browse files
committed
Auto merge of #2005 - RalfJung:rustup, r=RalfJung
rustup
2 parents a25d905 + 594a70a commit dd42a47

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

rust-version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
c274e4969f058b1c644243181ece9f829efa7594
1+
8876ca3dd46b99fe7e6ad937f11493d37996231e

src/thread.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -574,7 +574,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
574574
let allocation = tcx.eval_static_initializer(def_id)?;
575575
// Create a fresh allocation with this content.
576576
let new_alloc =
577-
this.memory.allocate_with(allocation.clone(), MiriMemoryKind::Tls.into());
577+
this.memory.allocate_with(allocation.inner().clone(), MiriMemoryKind::Tls.into());
578578
this.machine.threads.set_thread_local_alloc(def_id, new_alloc);
579579
Ok(new_alloc)
580580
}

0 commit comments

Comments
 (0)