diff --git a/Kinc b/Kinc
index 8ede7f32..a3479b5e 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 8ede7f32dea6cdc2ff1bc37633c6940955149bb2
+Subproject commit a3479b5eef79856eea02e40f610f2c774aba7167