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 be0a840..dd42d8b 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -177,7 +177,7 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types) // Print prototype (possibly with parameter type annotations) const ATuple* pat = (*i++)->as_tuple(); out << "("; - const ATuple* type = cenv->type(tup)->to_tuple(); + const ATuple* type = types ? cenv->type(tup)->to_tuple() : NULL; const ATuple* protT = type ? type->prot() : NULL; print_list_one_line(out, pat, pat->begin(), indent + 2, cenv, types, protT); |