diff options
author | 2017-02-05 15:45:26 +0100 | |
---|---|---|
committer | 2017-02-05 15:46:07 +0100 | |
commit | 02c97cd0f7c4d630f1a90f9f2626746e47a28c09 (patch) | |
tree | 2b48d051a55f2b65525824546cd9fcf9e05907cf /3rdparty/catch/include/internal/catch_timer.hpp | |
parent | d20b4ba6864b45d0c068d98d43e63c8bc5014a3b (diff) |
Updated Catch to latest (nw)
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 |