diff options
| -rw-r--r-- | src/pprint.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp index 94380b9..bbb4904 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -165,7 +165,7 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types) if (types) { print_annotation(out, tup->list_ref(2), indent + head_width + 1, cenv, true); newline(out, child_indent); - } else if (tup->frrst()->as_tuple()) { + } else if (tup->frrst()->to_tuple()) { newline(out, child_indent); } else { out << " "; |