diff --git a/Kinc b/Kinc
index 58b18fd..a5c8b7a 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 58b18fd1107344d35234e362c8b2165987b51813
+Subproject commit a5c8b7a6dd1c239f71c50dfe51c7797a9ae9104c