diff options
Diffstat (limited to '3rdparty/catch/include/internal/catch_timer.hpp')
-rw-r--r-- | 3rdparty/catch/include/internal/catch_timer.hpp | 2 |
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 |