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 56f1f91..65372d7 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -143,7 +143,7 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types) const ATuple* const fn = tup->frrst()->as_tuple(); const ATuple* const prot = fn->frst()->as_tuple(); print_list_one_line(out, prot, prot->begin(), indent + 7, cenv, types, types); - print_annotation(out, fn, indent + head_width + 1, cenv, true); + print_annotation(out, fn, indent + head_width + 1, cenv, types); newline(out, indent + 2); print_list(out, fn, fn->iter_at(2), indent + 2, cenv, types, false); |