network: fix win32 build error

2022-08-21 17:29:24 +02:00
parent 19db1d2c7b
commit d52bc43802
3 changed files with 5 additions and 3 deletions
--- a/src/win/win_settings.c
+++ b/src/win/win_settings.c
@@ -60,6 +60,7 @@
 #include <86box/fdd.h>
 #include <86box/fdc.h>
 #include <86box/fdc_ext.h>
+#include <86box/thread.h>
 #include <86box/network.h>
 #include <86box/sound.h>
 #include <86box/midi.h>