Remove unnessesary empty line

runtimeverification · Jun 5, 2022 · c3274e4 · c3274e4
1 parent 73e93b1
commit c3274e4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/pyk/src/pyk/kcfg.py b/pyk/src/pyk/kcfg.py
@@ -301,7 +301,6 @@ def print_subgraph(indent: str, curr_node: KCFG.Node) -> List[str]:
                     ret.append(indent + '│  constraint: ' + str(kprint.pretty_print(edge_like.constraint)))
                     ret.append(indent + '│  subst:')
                     ret.extend(add_indent(indent + '│  ', pretty_print_subst(edge_like.subst)))
-                    ret.append(indent + '│')
 
                 ret.append((indent + elbow + ' ' + show_node(edge_like.target)))
                 ret.extend(print_subgraph(new_indent, edge_like.target))

diff --git a/pyk/src/pyk/tests/test_kcfg.py b/pyk/src/pyk/tests/test_kcfg.py
@@ -367,7 +367,6 @@ def test_pretty_print(self):
             f"    │  constraint: KApply(label=KLabel(name='#Top', params=(KSort(name='GeneratedTopCell'),)), args=())\n"
             f"    │  subst:\n"
             f"    │         V11 |-> KToken(token='8', sort=KSort(name='Int'))\n"
-            f"    │\n"
             f"    ├  {short_id(11)} (frontier)\n"
             f"    ┊ (continues as previously)\n\n"
         )