diff --git a/Kinc b/Kinc
index 5b7e41a..42d6416 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 5b7e41addf66e6e70f366c5e54707d892d932917
+Subproject commit 42d6416a582ccc3e8919383060d11b8b4f19a8ce