diff options
Diffstat (limited to 'src/pprint.cpp')
| -rw-r--r-- | src/pprint.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp index 2beefca..4adb568 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -37,6 +37,9 @@ newline(ostream& out, unsigned indent) static inline void print_annotation(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool print) { + if (is_form(ast, "def")) + return; + if (print) { const AST* var = cenv->tenv.var(ast); if (var) { |