From 7c630a1b52f58b9fcd5afd6a1c840ab7ba9dd306 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Mon, 2 Feb 2026 14:08:21 +0000
Subject: [PATCH] Prepend to `GHCRTS` in `KoreServer` instead of overwrite

---
 pyk/src/pyk/kore/rpc.py | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/pyk/src/pyk/kore/rpc.py b/pyk/src/pyk/kore/rpc.py
index 3b882f6a2b..77ef641a8f 100644
--- a/pyk/src/pyk/kore/rpc.py
+++ b/pyk/src/pyk/kore/rpc.py
@@ -1145,7 +1145,14 @@ def start(self) -> None:
         cli_args = self._cli_args()
 
         new_env = os.environ.copy()
-        new_env['GHCRTS'] = f'-N{self._haskell_threads}'
+        new_env['GHCRTS'] = ' '.join(
+            part
+            for part in [
+                f'-N{self._haskell_threads}',
+                new_env.get('GHCRTS'),
+            ]
+            if part
+        )
 
         _LOGGER.info(f'Starting KoreServer: {" ".join(cli_args)}')
         self._proc, self._stdout_reader, self._stderr_reader = self._create_proc(cli_args, new_env)