From 9d6fb257c3cae7c26e3ed18a4ae495762f562d56 Mon Sep 17 00:00:00 2001
From: nikolas <nikolas@gnu.org>
Date: Tue, 6 Aug 2019 02:43:00 -0400
Subject: [PATCH] Cleanup: Remove duplicate thread.h include (#7683)

---
 src/video/dedicated_v.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/video/dedicated_v.cpp b/src/video/dedicated_v.cpp
index 8d767ce4d9..c29fd5fd1b 100644
--- a/src/video/dedicated_v.cpp
+++ b/src/video/dedicated_v.cpp
@@ -74,7 +74,7 @@ static void DedicatedSignalHandler(int sig)
 # include <time.h>
 # include <tchar.h>
 # include "../os/windows/win32.h"
-# include "../thread.h"
+
 static HANDLE _hInputReady, _hWaitForInputHandling;
 static HANDLE _hThread; // Thread to close
 static char _win_console_thread_buffer[200];