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 dd42d8b..2beefca 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -226,7 +226,7 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types) } // Print on single line if list contains only atoms - print_list_one_line(out, tup, i, indent + head_width, cenv, types, false); + print_list_one_line(out, tup, i, indent + head_width, cenv, types, NULL); } return out; |