3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-10-31 04:07:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Workaround for stitching issue in #1020

Browse Source 
Closes #1020
This commit is contained in:
Martin Hořeňovský
2017-10-03 18:31:51 +02:00
parent 61280e6d0a
commit f972732737
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/catch.hpp
View File

@@ -62,6 +62,10 @@
#endif
#ifdef CATCH_IMPL
#ifdef CATCH_PLATFORM_WINDOWS
#include "internal/catch_windows_h_proxy.h"
#endif
#include "internal/catch_impl.hpp"
#endif