diff --git a/external/Catch2 b/external/Catch2 index 08092139..a1a991fe 160000 --- a/external/Catch2 +++ b/external/Catch2 @@ -1 +1 @@ -Subproject commit 08092139210881f01a34e60c5f2fd6afa0ea4024 +Subproject commit a1a991fee5f217b40035cb2f8ebc83864d66408d