diff --git a/Kinc b/Kinc
index 5082ea0..20fa12a 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 5082ea09e6c79fcb886daa2de371ab095f6a58ba
+Subproject commit 20fa12a0d0bbdc1fca2621a41daaf8de6780b5da