diff --git a/Kinc b/Kinc
index 7ccdd1c..dc802e9 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 7ccdd1c13aa1baee2f1197b6e313c70e3a16cd12
+Subproject commit dc802e96e12b65b8f8920b629cdf8aef14992fe3