diff options
Diffstat (limited to 'src/pprint.cpp')
| -rw-r--r-- | src/pprint.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp index 463d91a..cc6d316 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -174,7 +174,7 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types) } out << ")"; - } else if (form == "def-type") { + } else if (form == "define-type") { out << (*i++); newline(out, indent + 2); print_list(out, tup, i, indent + 2, cenv, types, false); @@ -251,6 +251,6 @@ pprint(ostream& out, const AST* ast, CEnv* cenv, bool types) out << endl; if ((is_form(ast, "define") && is_form(ast->as_tuple()->frrst(), "lambda")) || is_form(ast, "fn-end") - || is_form(ast, "def-type")) + || is_form(ast, "define-type")) out << endl; } |