diff --git a/Kinc b/Kinc
index 0f554d0..6c012b7 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 0f554d0d5a2be8515341a1fd74c820a0adbbb18f
+Subproject commit 6c012b7878c5ff8c8bc9145df06edaff3ed23877