diff --git a/Cool b/Cool
index b8d8a1fe..71ac07fe 160000
--- a/Cool
+++ b/Cool
@@ -1 +1 @@
-Subproject commit b8d8a1fe97ca43acfeb5fa34e61ec5f230c0f260
+Subproject commit 71ac07fec88edd01f9acdb519899c6becb8f6174