diff options
Diffstat (limited to 'src/pprint.cpp')
| -rw-r--r-- | src/pprint.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp index 15e9f54..4e0d036 100644 --- a/src/pprint.cpp +++ b/src/pprint.cpp @@ -37,8 +37,11 @@ newline(ostream& out, unsigned indent) static inline void print_annotation(ostream& out, CEnv* cenv, const AST* ast, bool print) { - if (print) - out << " :" << cenv->tsubst.apply(cenv->tenv.var(ast)); + if (print) { + const AST* var = cenv->tenv.var(ast); + if (var) + out << " :" << cenv->tsubst.apply(var); + } } ostream& |