Update pyk/src/pyk/kore/rpc.py

Co-authored-by: Tamás Tóth <[email protected]>
runtimeverification · Jul 16, 2024 · 618419b · 618419b
1 parent 4580cc7
commit 618419b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/pyk/kore/rpc.py b/pyk/src/pyk/kore/rpc.py
@@ -341,7 +341,7 @@ def close(self) -> None:
 
     def request(self, method: str, **params: Any) -> dict[str, Any]:
         old_id = self._req_id
-        req_id = f'{id(self)}_{old_id:03}'
+        req_id = f'{id(self)}-{old_id:03}'
         self._req_id += 1
 
         payload = {