diff --git a/Cool b/Cool
index f0fa9395..ede5fc01 160000
--- a/Cool
+++ b/Cool
@@ -1 +1 @@
-Subproject commit f0fa93958080b729ead0bbb88676865f95917381
+Subproject commit ede5fc019876ad5fc71f70fdf520b72b23f74019