diff --git a/thirdparty/catch2 b/thirdparty/catch2 index eb3811c5..b7e31c9a 160000 --- a/thirdparty/catch2 +++ b/thirdparty/catch2 @@ -1 +1 @@ -Subproject commit eb3811c555eccd2de8b63ba16e0f62c444970acf +Subproject commit b7e31c9ab3a4b6f7ef5f11d01aa3453c03e695b6