diff --git a/Cool b/Cool
index 8646d105..531592cf 160000
--- a/Cool
+++ b/Cool
@@ -1 +1 @@
-Subproject commit 8646d105c33739d294ea1e3d3d57b00257ee76d8
+Subproject commit 531592cf1393df2be78988fc29dd9729f00a392c