max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: missing include on Windows (#4919)

Browse source
This commit is contained in:
Sebastian Ullrich 2024-08-05 17:50:43 +02:00 • committed by GitHub
parent d6cb2432c6
commit 87d41e6326
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/runtime/thread.cpp
View file

@ -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