Merge branch 'develop' into _update-deps/runtimeverification/llvm-bac…

…kend
runtimeverification · Sep 18, 2024 · e3f4016 · e3f4016
2 parents 1e26122 + 5df9ce4
commit e3f4016
Showing 1 changed file with 1 addition and 1 deletion.
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: