diff --git a/Kinc b/Kinc
index d98750c..728e3fc 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit d98750c0ed7f31606bee4cd2ff8be8f1060de755
+Subproject commit 728e3fc1c0abae1d1a931644e3fc362a03a00a70