diff --git a/Cool b/Cool
index 9d425acd..ede5fc01 160000
--- a/Cool
+++ b/Cool
@@ -1 +1 @@
-Subproject commit 9d425acdec72716ac5bad0d38a68782ff63501d5
+Subproject commit ede5fc019876ad5fc71f70fdf520b72b23f74019