mirrors/Catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-05-02 21:23:51 +00:00
Code Issues Releases Wiki Activity

Replace missing header

Browse Source
This commit is contained in:
Chris Thrasher 2025-04-29 08:07:31 -06:00
parent d1857f4e2f
commit 32141be56d
No known key found for this signature in database
GPG Key ID: 56FB686C9DFC8E2C
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/catch2/internal/catch_enforce.hpp
View File

@ -12,6 +12,8 @@
#include <catch2/internal/catch_compiler_capabilities.hpp>
#include <catch2/internal/catch_reusable_string_stream.hpp>
#include <exception>
namespace Catch {
#if !defined(CATCH_CONFIG_DISABLE_EXCEPTIONS)
template <typename Ex>