From f25dff1156e42f69ee9c6461abab435d5a911db6 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 12 Sep 2023 22:06:58 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a

---
 deps/hs-backend-booster_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index f7393590edb..5e93a1967ed 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-8aac6e3852e522867610a294f8e8b07867f120d6
+4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a