diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index 37739d23d81..cc80e10ceed 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-66439eba81e7311698cb3647b22bb840529ac524
+59bdfa3f5e3ee4d82351d8de44137029c47e23a8
diff --git a/flake.lock b/flake.lock
index 59e3cee9a33..b8d4566c582 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1698013447,
-        "narHash": "sha256-H3Um2kgQLfEkvbIGJBQAqLojcikVhc0SoMW/7HPdgH8=",
+        "lastModified": 1698380696,
+        "narHash": "sha256-+2ll6O1nn53Fgm09R+Bz4otMs5jn3Xeo2nx0tfhmnH0=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "66439eba81e7311698cb3647b22bb840529ac524",
+        "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "66439eba81e7311698cb3647b22bb840529ac524",
+        "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index eafb1a380fc..0ce991d5e49 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     haskell-backend.url = "github:runtimeverification/haskell-backend/03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/66439eba81e7311698cb3647b22bb840529ac524";
+      url = "github:runtimeverification/hs-backend-booster/59bdfa3f5e3ee4d82351d8de44137029c47e23a8";
       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 66439eba81e..59bdfa3f5e3 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 66439eba81e7311698cb3647b22bb840529ac524
+Subproject commit 59bdfa3f5e3ee4d82351d8de44137029c47e23a8