diff --git a/Kinc b/Kinc
index dab59fb..3080a06 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit dab59fb9c44eb0c72c7d64124e500eaba3c4f6af
+Subproject commit 3080a064f98e3b5bc2e6b0df2af8dd6e0ab4f17a