diff --git a/Kinc b/Kinc
index d3932f0..f5132f6 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit d3932f0ca90f36a55abb39e4c5a7c40688803d12
+Subproject commit f5132f6ec84d2e64044368d31a4ea551152895c3