runtimeverification · automergerpr-permission-manager · Jun 9, 2026 · May 27, 2026 · May 27, 2026 · May 27, 2026
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.323
+7.1.333
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -12,7 +12,7 @@
       inputs.flake-utils.follows = "flake-utils";
     };
 
-    k-framework.url = "github:runtimeverification/k/v7.1.323";
+    k-framework.url = "github:runtimeverification/k/v7.1.333";
     k-framework = {
       inputs.flake-utils.follows = "flake-utils";
       inputs.nixpkgs.follows = "nixpkgs";

diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
@@ -8,7 +8,7 @@ version = "0.3.181"
 description = ""
 requires-python = ">=3.10"
 dependencies = [
-    "kframework==v7.1.323",
+    "kframework==v7.1.333",
     "rust-demangler==1.0",
 ]
 

diff --git a/kmir/src/kmir/kmir.py b/kmir/src/kmir/kmir.py
@@ -108,8 +108,8 @@ def _strip(p: Pattern) -> Pattern:
 
         return pattern.top_down(_strip)
 
-    def kore_to_pretty(self, pattern: Pattern) -> str:
-        return super().kore_to_pretty(self.strip_map_cells(pattern))
+    def kore_to_pretty(self, pattern: Pattern, *, pyk_print: bool = False) -> str:
+        return super().kore_to_pretty(self.strip_map_cells(pattern), pyk_print=pyk_print)
 
     @cached_property
     def parser(self) -> Parser: