diff --git a/kif_custom b/kif_custom index ad912cb88b3966206853b8574c97e56563511d99..b8df2d178f550f8c64e8acd533cea3f52ddf0b6e 160000 --- a/kif_custom +++ b/kif_custom @@ -1 +1 @@ -Subproject commit ad912cb88b3966206853b8574c97e56563511d99 +Subproject commit b8df2d178f550f8c64e8acd533cea3f52ddf0b6e