chore: missing include on Windows

leanprover · Aug 5, 2024 · 7d52142 · 7d52142
1 parent d6cb243
commit 7d52142
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/runtime/thread.cpp b/src/runtime/thread.cpp
@@ -9,6 +9,9 @@ Author: Leonardo de Moura
 #include <iostream>
 #ifdef LEAN_WINDOWS
 #include <windows.h>
+# ifdef LEAN_AUTO_THREAD_FINALIZATION
+#include <pthread.h>
+# endif
 #else
 #include <pthread.h>
 #endif