deps/hs-backend-booster_release: Set Version 889e046ed9878418f0a422d7…

…aca856fe134bf69d
runtimeverification · Jan 23, 2024 · f93b6b2 · f93b6b2
1 parent 9450dbf
commit f93b6b2
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 @@
-f295a6a99b9cf6e8ebc33f553373fa41c1270f90
+889e046ed9878418f0a422d7aca856fe134bf69d