diff --git a/lib/clingo b/lib/clingo
index 5618a71..7ee6c2e 160000
--- a/lib/clingo
+++ b/lib/clingo
@@ -1 +1 @@
-Subproject commit 5618a714eb3f6057f5d89e7314c0a24ac3e5d46f
+Subproject commit 7ee6c2e0181fdf6f3f9075637363f7510d7c8d09