From 620da09b8714b446b2fc2fb0a9d897ce502f0377 Mon Sep 17 00:00:00 2001 From: Juan Linietsky Date: Sat, 25 Jun 2016 15:20:37 -0300 Subject: [PATCH] try to fix windows build --- drivers/windows/thread_windows.cpp | 2 +- drivers/windows/thread_windows.h | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/drivers/windows/thread_windows.cpp b/drivers/windows/thread_windows.cpp index 434f2e8fdac..884575e81ec 100644 --- a/drivers/windows/thread_windows.cpp +++ b/drivers/windows/thread_windows.cpp @@ -31,7 +31,7 @@ #if defined(WINDOWS_ENABLED) && !defined(WINRT_ENABLED) #include "os/memory.h" -#include "script_language.h" + Thread::ID ThreadWindows::get_ID() const { diff --git a/drivers/windows/thread_windows.h b/drivers/windows/thread_windows.h index b051bfe370e..1c90504ddef 100644 --- a/drivers/windows/thread_windows.h +++ b/drivers/windows/thread_windows.h @@ -36,6 +36,7 @@ #ifdef WINDOWS_ENABLED #include "os/thread.h" +#include "script_language.h" #include class ThreadWindows : public Thread {