deps/hs-backend-booster_release: Set Version ac35589bb31831b346e143bf…

…a98c51e670237b8e
runtimeverification · Nov 16, 2023 · bf67a6b · bf67a6b
1 parent 7a36b78
commit bf67a6b
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 @@
-8ecb99be22406efbdf151eb20a8d253d72a961f2
+ac35589bb31831b346e143bfa98c51e670237b8e