diff --git a/src/shims/foreign_items.rs b/src/shims/foreign_items.rs index fd46eaea9dab..f7c6465a6363 100644 --- a/src/shims/foreign_items.rs +++ b/src/shims/foreign_items.rs @@ -725,8 +725,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx this.write_null(dest)?; } - // We don't support threading. - "pthread_create" => { + // We don't support threading. (Also for Windows.) + "pthread_create" | "CreateThread" => { return err!(Unimplemented(format!("Miri does not support threading"))); }