diff --git a/lib/clingo b/lib/clingo index cc83b3b..e2187b6 160000 --- a/lib/clingo +++ b/lib/clingo @@ -1 +1 @@ -Subproject commit cc83b3b231ae9626ff5402a5424b0e9e6b4aa180 +Subproject commit e2187b697f738f236828f7f780b5481c9a9284e6