diff --git a/thirdparty/catch2 b/thirdparty/catch2 index 3013cb89..416b0752 160000 --- a/thirdparty/catch2 +++ b/thirdparty/catch2 @@ -1 +1 @@ -Subproject commit 3013cb897b5706e8532507cb2b6ac33e1fc35d93 +Subproject commit 416b0752112e0e5f9a8568e3e18baace15de37a7