diff --git a/cabal.project b/cabal.project
index b9ae70227..f1fc822db 100644
--- a/cabal.project
+++ b/cabal.project
@@ -20,6 +20,6 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/runtimeverification/haskell-backend.git
-    tag: 0be07d293a1167615ef9342bb1820350f794e893
-    --sha256:
+    tag: e5acf81a007af880c552391a8d6030007afb0b6c
+    --sha256: 
     subdir: kore kore-rpc-types
diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index c095f82da..46a555dc7 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-0be07d293a1167615ef9342bb1820350f794e893
+e5acf81a007af880c552391a8d6030007afb0b6c
diff --git a/flake.lock b/flake.lock
index 51f8ef267..1c25f4b33 100644
--- a/flake.lock
+++ b/flake.lock
@@ -7,17 +7,17 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1701257709,
-        "narHash": "sha256-WoZ+XLi48Uqo558muURSY+SeThu2+VrO699r8UQI81g=",
+        "lastModified": 1701362420,
+        "narHash": "sha256-ST6cbo2I1mHeuOdg+5m++nAnXnbkalUu3XoS/XQLvfg=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "0be07d293a1167615ef9342bb1820350f794e893",
+        "rev": "e5acf81a007af880c552391a8d6030007afb0b6c",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "0be07d293a1167615ef9342bb1820350f794e893",
+        "rev": "e5acf81a007af880c552391a8d6030007afb0b6c",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 33273c728..39d49f8e1 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "hs-backend-booster";
 
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/0be07d293a1167615ef9342bb1820350f794e893";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/e5acf81a007af880c552391a8d6030007afb0b6c";
     stacklock2nix.follows = "haskell-backend/stacklock2nix";
     nixpkgs.follows = "haskell-backend/nixpkgs";
   };
diff --git a/stack.yaml b/stack.yaml
index c18c874a5..68c94194c 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -14,7 +14,7 @@ extra-deps:
   - typerep-map-0.5.0.0
   - monad-validate-1.2.0.1
   - git: https://github.com/runtimeverification/haskell-backend.git
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     subdirs:
       - kore
       - kore-rpc-types
diff --git a/stack.yaml.lock b/stack.yaml.lock
index 6f600e482..9842a5e1c 100644
--- a/stack.yaml.lock
+++ b/stack.yaml.lock
@@ -54,20 +54,20 @@ packages:
   original:
     hackage: monad-validate-1.2.0.1
 - completed:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
-      sha256: 30a502eda589be5af735b1b59760ce3e0235c0cae8961978a46b3564dd8db32b
+      sha256: bc6273d40ccd670a03adaa5912d9a3110c5feae8b766c73352e30afd66875b64
       size: 44685
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore-rpc-types
     pantry-tree:
@@ -76,7 +76,7 @@ packages:
     subdir: kore-rpc-types
     version: 0.60.0.0
   original:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore-rpc-types
 snapshots: