From d7059927c8376696e90bc1b20e205b23d8cb6759 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 31 Jan 2024 10:05:25 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 697de694edffc904c10e27540bd5037cbba18e41

---
 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 f68404f8c2d..e068833274e 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-0ef6ecd37e193a736ddc1d9dc047c24646c4a324
+697de694edffc904c10e27540bd5037cbba18e41