diff --git a/c/third_party/check b/c/third_party/check index 32b6c7b2e3..ae60b244bc 160000 --- a/c/third_party/check +++ b/c/third_party/check @@ -1 +1 @@ -Subproject commit 32b6c7b2e3d3a28a25b17e523208da6e0f582c15 +Subproject commit ae60b244bc6c76047407ec3eb5822151d32524d4