diff --git a/Cool b/Cool
index 50b9a256..7d0ba608 160000
--- a/Cool
+++ b/Cool
@@ -1 +1 @@
-Subproject commit 50b9a256272e76bc65b39b34686889739446b6fd
+Subproject commit 7d0ba6084667a8d4bd676dedf12a12001eec788f