diff --git a/Kinc b/Kinc
index 4c5e01e..5f802f0 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 4c5e01e976549e45a6c738c7e3f8203d9a62f46e
+Subproject commit 5f802f0982d2dc23b2b933c60ce114f4f9704993