deps/hs-backend-booster_release: Set Version 9469f18e3546aa4d7a77b661…

…ed3025572b770bba
runtimeverification · Dec 8, 2023 · 78f6ffb · 78f6ffb
1 parent 9e28583
commit 78f6ffb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-c841bfa5f9d3be884efae5c3ea7bacb4f3e24e40
+9469f18e3546aa4d7a77b661ed3025572b770bba