diff --git a/Kinc b/Kinc
index 0fd6b46..3fa0f4e 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 0fd6b46d1890d592e69f183bc073453d449cbbde
+Subproject commit 3fa0f4e926d0f204d66f76579b6579328d02fdc9