diff --git a/.gitmodules b/.gitmodules index c09da0b..4203c3c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,4 +3,4 @@ url = https://github.com/potassco/clingo [submodule "lib/catch"] path = lib/catch - url = https://github.com/philsquared/Catch + url = https://github.com/catchorg/Catch2 diff --git a/lib/catch b/lib/catch index 017a63d..0a34cc2 160000 --- a/lib/catch +++ b/lib/catch @@ -1 +1 @@ -Subproject commit 017a63da62ba7ffce1e1b005e6adc846412c575b +Subproject commit 0a34cc201ef28bf25c88b0062f331369596cb7b7