diff --git a/Kinc b/Kinc
index 1cd06ab..4272aa4 160000
--- a/Kinc
+++ b/Kinc
@@ -1 +1 @@
-Subproject commit 1cd06abd317934aeed5345522d8c8d29fec6bed8
+Subproject commit 4272aa48c1ac74fc4c1f6d79ca5898cfe67255cb