diff --git a/Kinc b/Kinc
index 268e22d..b3f1ea6 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 268e22d33698c2a9f9e694d62f72ebf5ec769503
+Subproject commit b3f1ea6c03e3e789bdc9321d98cb817c53dc9ee9