diff --git a/dependencies/CASE-unstable b/dependencies/CASE-unstable
index dda243d4..f9a3115d 160000
--- a/dependencies/CASE-unstable
+++ b/dependencies/CASE-unstable
@@ -1 +1 @@
-Subproject commit dda243d4ed99aa425c13aec48c5c39ee43979db7
+Subproject commit f9a3115d45843f59ccbc8e4b6bba213c12b85991