Merge remote-tracking branch 'origin/develop'

runtimeverification · Sep 18, 2024 · 6ce5ad0 · 6ce5ad0
2 parents 2097776 + 5df9ce4
commit 6ce5ad0
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: