diff --git a/thirdparty/catch2 b/thirdparty/catch2 index 8b08d4d7..317ac1ed 160000 --- a/thirdparty/catch2 +++ b/thirdparty/catch2 @@ -1 +1 @@ -Subproject commit 8b08d4d79514f45f7e4ce2a607ac9c94e920d1bb +Subproject commit 317ac1ed4c0bb6e6b91eafc817e05c488feffcb3