diff --git a/Kinc b/Kinc
index 5fe8e07..dc87ebb 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 5fe8e07b7f1b9073c0f0a7caad74c2f2b010d47f
+Subproject commit dc87ebbad6b423fc9496ff3fa227bffb7309de96