1 files changed, 2 insertions, 9 deletions
diff --git a/src/pprint.cpp b/src/pprint.cpp
index d7ca0f8..a932065 100644
--- a/src/pprint.cpp
+++ b/src/pprint.cpp
@@ -96,15 +96,8 @@ print_to(ostream& out, const AST* ast, unsigned indent, CEnv* cenv, bool types)
 	switch (ast->tag()) {
 	case T_UNKNOWN:
 		return out << "?";
-	case T_TYPE:
-	{
-		const AType* type = ast->as_type();
-		switch (type->kind) {
-		case AType::VAR:   return out << "?" << type->id;
-		case AType::NAME:  return out << type->head();
-		case AType::EXPR:  break; // will catch Tuple case below
-		}
-	}
+	case T_TVAR:
+		return out << "?" << AType::var_id(ast);
 	case T_TUPLE:
 	{
 		const ATuple* tup = ast->as_tuple();