diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-11-28 05:06:38 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-11-28 05:06:38 +0000 |
| commit | 2039a9fac08ae8dd214826e254c3a7d300cb0360 (patch) | |
| tree | ba739f6a429744adc227b2deb809786ec6e936e9 | |
| parent | 45ed69e81318baa01d6b1a247e1dd7f26cbd9955 (diff) | |
| download | rust-2039a9fac08ae8dd214826e254c3a7d300cb0360.tar.gz rust-2039a9fac08ae8dd214826e254c3a7d300cb0360.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/shims/windows/foreign_items.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/windows/foreign_items.rs b/src/tools/miri/src/shims/windows/foreign_items.rs index a1fad6f9af4..d6a180451d7 100644 --- a/src/tools/miri/src/shims/windows/foreign_items.rs +++ b/src/tools/miri/src/shims/windows/foreign_items.rs @@ -383,7 +383,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { this.write_int(1, dest)?; } "TlsFree" => { - let [key] = this.check_shim(abi, ExternAbi::System { unwind: false }, link_name, args)?; + let [key] = + this.check_shim(abi, ExternAbi::System { unwind: false }, link_name, args)?; let key = u128::from(this.read_scalar(key)?.to_u32()?); this.machine.tls.delete_tls_key(key)?; |