diff --git a/Kinc b/Kinc
index 561048cd..71f9d24f 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 561048cd1c198a36e25d09e8b37c799ad16374ad
+Subproject commit 71f9d24f0542bd3451ddd7ea183b3748ad66e562