diff --git a/cabal.project b/cabal.project
index f08d01924..c745efc58 100644
--- a/cabal.project
+++ b/cabal.project
@@ -17,7 +17,7 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/runtimeverification/haskell-backend.git
-    tag: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    tag: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     --sha256: 
     subdir: kore kore-rpc-types
 
diff --git a/flake.lock b/flake.lock
index dd9c97643..2e01ac145 100644
--- a/flake.lock
+++ b/flake.lock
@@ -7,11 +7,11 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1698918605,
-        "narHash": "sha256-p3n0+My1U+rfHjaFPClK92HxAjAWIxSmCYyORCWJfxo=",
+        "lastModified": 1700072510,
+        "narHash": "sha256-6HTLeB7o1KSOqigGgD5Dwl0gOg6lGH9DY/GNIVWjV2E=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "eebe4e9fd9dd6c606b37a384dbbfecca85943a38",
+        "rev": "1690d266738955c6fbf8fad6a36b14c2e6c2bbf4",
         "type": "github"
       },
       "original": {
diff --git a/stack.yaml b/stack.yaml
index 53670b45d..da150d9a5 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -11,7 +11,7 @@ extra-deps:
   - typerep-map-0.5.0.0
   - monad-validate-1.2.0.1
   - git: https://github.com/runtimeverification/haskell-backend.git
-    commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     subdirs:
       - kore
       - kore-rpc-types
diff --git a/stack.yaml.lock b/stack.yaml.lock
index 3967b7d62..39e1a4766 100644
--- a/stack.yaml.lock
+++ b/stack.yaml.lock
@@ -40,20 +40,20 @@ packages:
   original:
     hackage: monad-validate-1.2.0.1
 - completed:
-    commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
-      sha256: 4e10ba0429ca8270171f2b1d1fcdc646631707fc7c468c14d2a2962b203c7f5c
+      sha256: bae5826dab9e9b0a9c73fef4de3160b15c461ddcd423a66dcfc4a76fc08f2176
       size: 44685
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     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: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
+    commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore-rpc-types
 snapshots:
diff --git a/tools/booster/Server.hs b/tools/booster/Server.hs
index f8188340a..fd891969d 100644
--- a/tools/booster/Server.hs
+++ b/tools/booster/Server.hs
@@ -159,7 +159,7 @@ main = do
                             jsonRpcServer
                                 srvSettings
                                 (const $ Proxy.respondEither proxyConfig boosterRespond koreRespond)
-                                [handleErrorCall, handleSomeException]
+                                [Kore.handleDecidePredicateUnknown, handleErrorCall, handleSomeException]
                         interruptHandler _ = do
                             when (logLevel >= LevelInfo) $
                                 hPutStrLn stderr "[Info#proxy] Server shutting down"
diff --git a/tools/kore-rpc-dev/Server.hs b/tools/kore-rpc-dev/Server.hs
index 4ee44b84d..d4fb42d9b 100644
--- a/tools/kore-rpc-dev/Server.hs
+++ b/tools/kore-rpc-dev/Server.hs
@@ -170,7 +170,7 @@ main = do
                         jsonRpcServer
                             srvSettings
                             (const $ respond koreRespond)
-                            [handleErrorCall, handleSomeException]
+                            [Kore.handleDecidePredicateUnknown, handleErrorCall, handleSomeException]
                     interruptHandler _ = do
                         when (logLevel >= LevelInfo) $
                             hPutStrLn stderr "[Info#proxy] Server shutting down"