diff --git a/Kinc b/Kinc index dc802e9..a72b561 160000 --- a/Kinc +++ b/Kinc @@ -1 +1 @@ -Subproject commit dc802e96e12b65b8f8920b629cdf8aef14992fe3 +Subproject commit a72b56156ff54167d0f656d8d3671109bb7cfe05