deps/hs-backend-booster_release: Set Version 4ddf92ea7857e43857e1aeef…

…38bb4c3c3d4b898a
runtimeverification · Sep 12, 2023 · f25dff1 · f25dff1
1 parent 2802763
commit f25dff1
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 @@
-8aac6e3852e522867610a294f8e8b07867f120d6
+4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a