Merge branch 'develop' into expose-pattern-matching-failure-event-to-pyk

runtimeverification · Sep 19, 2024 · d4b9273 · d4b9273
2 parents 29781e3 + e08769b
commit d4b9273
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 8 deletions.
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.88
+0.1.92
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.88";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.92";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.76";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
diff --git a/pyk/src/pyk/kcfg/show.py b/pyk/src/pyk/kcfg/show.py
@@ -149,7 +149,7 @@ def _print_csubst(
             _constraint_strs = [
                 self.kprint.pretty_print(ml_pred_to_bool(constraint, unsafe=True)) for constraint in csubst.constraints
             ]
-            constraint_strs = _multi_line_print('constraint', _constraint_strs, 'true', max_width=max_width)
+            constraint_strs = _multi_line_print('constraint', _constraint_strs, 'true')
             if len(csubst.subst.minimize()) > 0 and minimize:
                 subst_strs = ['subst: ...']
             else: