From f8c6eb5e8c98d1ff623361d287c6e5af1943ba65 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 11 Jul 2019 18:59:11 +0200
Subject: [PATCH] thread creation error for Windows

---
 src/shims/foreign_items.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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")));
             }