diff --git a/Kinc b/Kinc index 0fd6b46d1..32fe1fc44 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit 0fd6b46d1890d592e69f183bc073453d449cbbde +Subproject commit 32fe1fc44ab53c0d9b633ad7c65a26e347916737