From e6a9ccf167beb699be49b993180710f347f81d74 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Fri, 10 Mar 2017 15:48:04 +0100
Subject: [PATCH] Updated clingo.

---
 lib/clingo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/clingo b/lib/clingo
index aaf3d8f..5618a71 160000
--- a/lib/clingo
+++ b/lib/clingo
@@ -1 +1 @@
-Subproject commit aaf3d8f8f99d33b27596afbfee4c1a6418715f97
+Subproject commit 5618a714eb3f6057f5d89e7314c0a24ac3e5d46f