diff --git a/Kinc b/Kinc
index 040ffdc..4c5e01e 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 040ffdce855a68256296e5bc2b5e84259f5011c3
+Subproject commit 4c5e01e976549e45a6c738c7e3f8203d9a62f46e