summaryrefslogtreecommitdiffstatshomepage
path: root/3rdparty/catch/include/internal/catch_timer.hpp
diff options
context:
space:
mode:
Diffstat (limited to '3rdparty/catch/include/internal/catch_timer.hpp')
-rw-r--r--3rdparty/catch/include/internal/catch_timer.hpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/3rdparty/catch/include/internal/catch_timer.hpp b/3rdparty/catch/include/internal/catch_timer.hpp
index 2ba709e36dd..00adfc3bf0f 100644
--- a/3rdparty/catch/include/internal/catch_timer.hpp
+++ b/3rdparty/catch/include/internal/catch_timer.hpp
@@ -15,7 +15,7 @@
#endif
#ifdef CATCH_PLATFORM_WINDOWS
-#include <windows.h>
+#include "catch_windows_h_proxy.h"
#else
#include <sys/time.h>
#endif