diff --git a/Kinc b/Kinc
index 00ddc7c..a7b220f 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 00ddc7c4af0db8103045417aa9b6967b9a71d081
+Subproject commit a7b220f501e9f2f3fcd73c8bdbeae3c932e05085