diff --git a/c/third_party/check b/c/third_party/check index e05766540e..11970a7e11 160000 --- a/c/third_party/check +++ b/c/third_party/check @@ -1 +1 @@ -Subproject commit e05766540eba58ae46da2e2bfce4cc4212488c98 +Subproject commit 11970a7e112dfe243a2e68773f014687df2900e8