diff --git a/Kinc b/Kinc
index ed3194a..71850f7 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit ed3194a368f360b75dc532bef4ab6496627a4971
+Subproject commit 71850f702f971dd3ce11770e3bce7160918a67b7