diff --git a/cabal.project b/cabal.project
index be0317a9..768177ed 100644
--- a/cabal.project
+++ b/cabal.project
@@ -5,7 +5,7 @@ packages:
 source-repository-package
     type: git
     location: https://github.com/runtimeverification/haskell-backend.git
-    tag: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e
+    tag: 27a47a7de65d79c40615d993e85a2e0c7c8ed343
     subdir: kore kore-rpc-types
 
 source-repository-package
diff --git a/flake.lock b/flake.lock
index d8ef5058..75436905 100644
--- a/flake.lock
+++ b/flake.lock
@@ -13,17 +13,17 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1711486984,
-        "narHash": "sha256-h1c/d59u+xZju8snq8CiriYoEymZBJjdaEZE+rREXGk=",
+        "lastModified": 1711613592,
+        "narHash": "sha256-TaOX5VUmwuRJ7UIi3c1kCMZ13r6XAfWXkaHVPGaYaPo=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "e7ba3c7e5626d3b2dd61318e91704fd6bf47228e",
+        "rev": "27a47a7de65d79c40615d993e85a2e0c7c8ed343",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "e7ba3c7e5626d3b2dd61318e91704fd6bf47228e",
+        "rev": "27a47a7de65d79c40615d993e85a2e0c7c8ed343",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 1e38f34c..543184d8 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "hs-backend-booster";
 
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/e7ba3c7e5626d3b2dd61318e91704fd6bf47228e";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/27a47a7de65d79c40615d993e85a2e0c7c8ed343";
     stacklock2nix.follows = "haskell-backend/stacklock2nix";
     nixpkgs.follows = "haskell-backend/nixpkgs";
   };
diff --git a/stack.yaml b/stack.yaml
index 424ccd84..fa572874 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -12,7 +12,7 @@ extra-deps:
   - smtlib-backends-process-0.3
   - monad-validate-1.3.0.0
   - git: https://github.com/runtimeverification/haskell-backend.git
-    commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e
+    commit: 27a47a7de65d79c40615d993e85a2e0c7c8ed343
     subdirs:
       - kore
       - kore-rpc-types
diff --git a/stack.yaml.lock b/stack.yaml.lock
index a62c8ca1..bc3d669d 100644
--- a/stack.yaml.lock
+++ b/stack.yaml.lock
@@ -40,7 +40,7 @@ packages:
   original:
     hackage: monad-validate-1.3.0.0
 - completed:
-    commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e
+    commit: 27a47a7de65d79c40615d993e85a2e0c7c8ed343
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
@@ -49,11 +49,11 @@ packages:
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e
+    commit: 27a47a7de65d79c40615d993e85a2e0c7c8ed343
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e
+    commit: 27a47a7de65d79c40615d993e85a2e0c7c8ed343
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore-rpc-types
     pantry-tree:
@@ -62,7 +62,7 @@ packages:
     subdir: kore-rpc-types
     version: 0.60.0.0
   original:
-    commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e
+    commit: 27a47a7de65d79c40615d993e85a2e0c7c8ed343
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore-rpc-types
 - completed: