From f93b6b24550cb0d375095ea3ecc6716f136b8f9a Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 23 Jan 2024 14:29:17 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 889e046ed9878418f0a422d7aca856fe134bf69d

---
 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 036d6edf979..ba0da25fa5e 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-f295a6a99b9cf6e8ebc33f553373fa41c1270f90
+889e046ed9878418f0a422d7aca856fe134bf69d