diff --git a/lib/clingo b/lib/clingo index 7ee6c2e..f68e404 160000 --- a/lib/clingo +++ b/lib/clingo @@ -1 +1 @@ -Subproject commit 7ee6c2e0181fdf6f3f9075637363f7510d7c8d09 +Subproject commit f68e404910473e8464ec912cfeefba7ccbf80a48