diff --git a/Kinc b/Kinc
index a7b220f..a140b1b 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit a7b220f501e9f2f3fcd73c8bdbeae3c932e05085
+Subproject commit a140b1b07c08a547c3f47e7622467ca06508ae1a