From 87d41e632657fb33d87ca7f94487e7d4ad2544e4 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Mon, 5 Aug 2024 17:50:43 +0200
Subject: [PATCH] chore: missing include on Windows (#4919)

---
 src/runtime/thread.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/runtime/thread.cpp b/src/runtime/thread.cpp
index 6aab3fbc6d..cd53bae6ad 100644
--- 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