diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index 8a7d01e5d8f..f68404f8c2d 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-a956edb011001aaf1296c3bbf004498427df7263
+0ef6ecd37e193a736ddc1d9dc047c24646c4a324
diff --git a/flake.lock b/flake.lock
index 426640ebd79..4c98f887e0e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1706100499,
-        "narHash": "sha256-h8Nr4UriQ4sq2lGT6iEsqiD0RRVXLmeLhTykgwNlFho=",
+        "lastModified": 1706622743,
+        "narHash": "sha256-hdgFFYz2NorC9mIU8arNyN2H/fOJ50bDW7ptMjsliYk=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "a956edb011001aaf1296c3bbf004498427df7263",
+        "rev": "0ef6ecd37e193a736ddc1d9dc047c24646c4a324",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "a956edb011001aaf1296c3bbf004498427df7263",
+        "rev": "0ef6ecd37e193a736ddc1d9dc047c24646c4a324",
         "type": "github"
       }
     },
@@ -71,17 +71,17 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1706088680,
-        "narHash": "sha256-LJeonjc/QJXLHDJgmh631bTtuzs3cDzm64nH6H3AWS4=",
+        "lastModified": 1706261911,
+        "narHash": "sha256-ntTfZAkMT/F8iw2A4sC03oCR5Gt1ijqXHAIjDcQ3xhE=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "de63565944540344cba242343500f1a61ece45c5",
+        "rev": "3779155b609ae78c928d7b47c541b9b6ca969181",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "de63565944540344cba242343500f1a61ece45c5",
+        "rev": "3779155b609ae78c928d7b47c541b9b6ca969181",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 7fab4578500..e1f34a98e90 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,9 +1,9 @@
 {
   description = "K Framework";
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/de63565944540344cba242343500f1a61ece45c5";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/3779155b609ae78c928d7b47c541b9b6ca969181";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/a956edb011001aaf1296c3bbf004498427df7263";
+      url = "github:runtimeverification/hs-backend-booster/0ef6ecd37e193a736ddc1d9dc047c24646c4a324";
       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 de635659445..3779155b609 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit de63565944540344cba242343500f1a61ece45c5
+Subproject commit 3779155b609ae78c928d7b47c541b9b6ca969181
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
index a956edb0110..0ef6ecd37e1 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 a956edb011001aaf1296c3bbf004498427df7263
+Subproject commit 0ef6ecd37e193a736ddc1d9dc047c24646c4a324