diff --git a/Kinc b/Kinc
index 9900cae..20fa12a 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 9900cae25518ca4df3b7c46d76289581793e9f22
+Subproject commit 20fa12a0d0bbdc1fca2621a41daaf8de6780b5da