From 7aa109b80c54981242758a8d5a761bf292ce0f14 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Fri, 24 Nov 2023 08:24:23 -0700
Subject: [PATCH] Update dependency: deps/hs-backend-booster_release (#3822)

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

diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index 089060f81d3..0b03fc3c56c 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-ac35589bb31831b346e143bfa98c51e670237b8e
+1b22ad45abf6209da1ec4c3d7bb65e4553072e1c
diff --git a/flake.lock b/flake.lock
index 92324692306..01ee32a6e96 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1700130818,
-        "narHash": "sha256-i4hqzOfI5qpqU4sL0Vk/tJK8VSQEXIuSC42jnNp/0Z0=",
+        "lastModified": 1700751772,
+        "narHash": "sha256-5JaKvmI2AoaO3bD79W8UEUnRW4eosqBsa+O5ct9LwW4=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "ac35589bb31831b346e143bfa98c51e670237b8e",
+        "rev": "1b22ad45abf6209da1ec4c3d7bb65e4553072e1c",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "ac35589bb31831b346e143bfa98c51e670237b8e",
+        "rev": "1b22ad45abf6209da1ec4c3d7bb65e4553072e1c",
         "type": "github"
       }
     },
@@ -71,17 +71,17 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1698918605,
-        "narHash": "sha256-p3n0+My1U+rfHjaFPClK92HxAjAWIxSmCYyORCWJfxo=",
+        "lastModified": 1700651020,
+        "narHash": "sha256-7BpAXfdiixge0SsSJCjwqgNy085azJ7PpH/eQW9jQ7o=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "eebe4e9fd9dd6c606b37a384dbbfecca85943a38",
+        "rev": "2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "eebe4e9fd9dd6c606b37a384dbbfecca85943a38",
+        "rev": "2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 3dfb0510011..e9a9e9c3eb1 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,9 +1,9 @@
 {
   description = "K Framework";
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/eebe4e9fd9dd6c606b37a384dbbfecca85943a38";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/ac35589bb31831b346e143bfa98c51e670237b8e";
+      url = "github:runtimeverification/hs-backend-booster/1b22ad45abf6209da1ec4c3d7bb65e4553072e1c";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
       inputs.haskell-backend.follows = "haskell-backend";
       inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index eebe4e9fd9d..2f90bbf6a7a 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+Subproject commit 2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
index ac35589bb31..1b22ad45abf 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 ac35589bb31831b346e143bfa98c51e670237b8e
+Subproject commit 1b22ad45abf6209da1ec4c3d7bb65e4553072e1c