diff --git a/dependencies/CASE-unstable b/dependencies/CASE-unstable
index e539ae8..b3fa35f 160000
--- a/dependencies/CASE-unstable
+++ b/dependencies/CASE-unstable
@@ -1 +1 @@
-Subproject commit e539ae870e6510087d545d90cf9c0cf73e9cd85c
+Subproject commit b3fa35f613c7820b0078f903128a07359691885b