Update src/shims/windows/foreign_items.rs

landaire · RalfJung · web-flow · commit 2089e6c7d947 · 2021-06-05T11:03:54.000-07:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/shims/windows/foreign_items.rs b/src/shims/windows/foreign_items.rs
@@ -344,7 +344,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             "CreateThread" => {
                 this.check_abi(abi, Abi::System { unwind: false })?;
 
-                this.handle_unsupported("Miri does not support concurrency on Windows")?;
+                this.handle_unsupported("can't create threads on Windows")?;
                 return Ok(EmulateByNameResult::AlreadyJumped);
             }
 

Original file line number	Diff line number	Diff line change
`@@ -344,7 +344,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`344`	`344`	`"CreateThread" => {`
`345`	`345`	`this.check_abi(abi, Abi::System { unwind: false })?;`
`346`	`346`
`347`		`- this.handle_unsupported("Miri does not support concurrency on Windows")?;`
	`347`	`+ this.handle_unsupported("can't create threads on Windows")?;`
`348`	`348`	`return Ok(EmulateByNameResult::AlreadyJumped);`
`349`	`349`	`}`
`350`	`350`