diff --git a/Kinc b/Kinc
index 38bc2f2..c20838e 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 38bc2f29e720a0388e4b014090c6773111b9aec4
+Subproject commit c20838e936bc8e603ec20ccc8b3aecac12a54681