diff --git a/lib/clingo b/lib/clingo index f68e404..a49d599 160000 --- a/lib/clingo +++ b/lib/clingo @@ -1 +1 @@ -Subproject commit f68e404910473e8464ec912cfeefba7ccbf80a48 +Subproject commit a49d599c0edd11bf57b41d16585cc698e188aecc