diff --git a/Kinc b/Kinc
index 1d01456..81f1c87 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 1d014561fdfb2a83ce867c021afdee7339bb6939
+Subproject commit 81f1c87b8cbc24afc703942e1eb7bf86b9752e9f