From 938fa4dfad71b1544bb7cbe3c995798c7288ccfa Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Tue, 16 Jan 2024 00:42:10 -0700
Subject: [PATCH] Update dependency: deps/hs-backend-booster_release (#3903)

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/hs-backend-booster_release                    |  2 +-
 flake.lock                                         | 14 +++++++-------
 flake.nix                                          |  2 +-
 .../src/main/native/hs-backend-booster             |  2 +-
 4 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index 70ac5568f6d..9b024538116 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-a673bb55858eced177f21f331e29db96323c5af0
+98e9b260467ebcc85749168f7d0841ed11025af9
diff --git a/flake.lock b/flake.lock
index f354a66d953..250208125cc 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1705025056,
-        "narHash": "sha256-gJI+n08ucxTmsmt2q3oHRdRtrwPuJHpgar3QoR4MZxc=",
+        "lastModified": 1705359717,
+        "narHash": "sha256-ih6qajkmCQBtaWvcsimuKBYPL7mY42Foyt7pt0wToqA=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "a673bb55858eced177f21f331e29db96323c5af0",
+        "rev": "98e9b260467ebcc85749168f7d0841ed11025af9",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "a673bb55858eced177f21f331e29db96323c5af0",
+        "rev": "98e9b260467ebcc85749168f7d0841ed11025af9",
         "type": "github"
       }
     },
@@ -34,11 +34,11 @@
         "systems": "systems"
       },
       "locked": {
-        "lastModified": 1701680307,
-        "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
+        "lastModified": 1705309234,
+        "narHash": "sha256-uNRRNRKmJyCRC/8y1RqBkqWBLM034y4qN7EprSdmgyA=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
+        "rev": "1ef2e671c3b0c19053962c07dbda38332dcebf26",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 54c0526d7e6..b2b1f611083 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     haskell-backend.url = "github:runtimeverification/haskell-backend/ca05f14b7957fec9f2a5ab3444cae01c5a76f12f";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/a673bb55858eced177f21f331e29db96323c5af0";
+      url = "github:runtimeverification/hs-backend-booster/98e9b260467ebcc85749168f7d0841ed11025af9";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
       inputs.haskell-backend.follows = "haskell-backend";
       inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
index a673bb55858..98e9b260467 160000
--- a/hs-backend-booster/src/main/native/hs-backend-booster
+++ b/hs-backend-booster/src/main/native/hs-backend-booster
@@ -1 +1 @@
-Subproject commit a673bb55858eced177f21f331e29db96323c5af0
+Subproject commit 98e9b260467ebcc85749168f7d0841ed11025af9