From d5c49df43dbca7e8b689ed8b2973a315059f7f48 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 19 Oct 2023 09:40:31 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 26b5d2df37c6fcc210d80ff57d1c3572a41f90b5

---
 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 4e923fab21a..85e7a13f28f 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-0cc3ef5ccde0535828065e8acdf976149ed36e42
+26b5d2df37c6fcc210d80ff57d1c3572a41f90b5