diff --git a/Kinc b/Kinc
index 30c3ff0..dab5731 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 30c3ff0505f2a04bc858082691c91ed155edb55e
+Subproject commit dab57317bd33dc5c1564a3c699470b90e13ea085