diff --git a/Cool b/Cool
index f3156bb8..dfd2c5db 160000
--- a/Cool
+++ b/Cool
@@ -1 +1 @@
-Subproject commit f3156bb8acfb9942962843d212744dcc13befb7e
+Subproject commit dfd2c5db79713d7c71128bde4f96771ebeb74b7c