diff --git a/Kinc b/Kinc
index 32fe1fc4..8ede7f32 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 32fe1fc44ab53c0d9b633ad7c65a26e347916737
+Subproject commit 8ede7f32dea6cdc2ff1bc37633c6940955149bb2