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