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