diff --git a/contrib/cil b/contrib/cil
index 2f20c45f..cc5a6ce7 160000
--- a/contrib/cil
+++ b/contrib/cil
@@ -1 +1 @@
-Subproject commit 2f20c45fe8be79a38b5e4a77184f1548f21c9c65
+Subproject commit cc5a6ce72e5adbcd1b1fe622a0316c6df7f22e44