From 32141be56d015446dc5300e81124f11a66c8509a Mon Sep 17 00:00:00 2001 From: Chris Thrasher Date: Tue, 29 Apr 2025 08:07:31 -0600 Subject: [PATCH] Replace missing header --- src/catch2/internal/catch_enforce.hpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/catch2/internal/catch_enforce.hpp b/src/catch2/internal/catch_enforce.hpp index ddb6d845..076cea3c 100644 --- a/src/catch2/internal/catch_enforce.hpp +++ b/src/catch2/internal/catch_enforce.hpp @@ -12,6 +12,8 @@ #include #include +#include + namespace Catch { #if !defined(CATCH_CONFIG_DISABLE_EXCEPTIONS) template