From addc65e3c56b9cd5c0a8137f2bca90e518c5bd41 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 21 Mar 2018 16:35:54 +0100
Subject: [PATCH] Update Catch to 2.2.1

---
 .gitmodules | 2 +-
 lib/catch   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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