1 files changed, 2 insertions, 2 deletions
diff --git a/src/term.c b/src/term.c
index 746c6f7..d13ec9f 100644
--- a/src/term.c
+++ b/src/term.c
@@ -38,7 +38,7 @@ void print_term(struct term *term)
 {
 	switch (term->type) {
 	case ABS:
-		printf("[");
+		printf("[{%d} ", term->u.abs.name);
 		print_term(term->u.abs.term);
 		printf("]");
 		break;
@@ -50,7 +50,7 @@ void print_term(struct term *term)
 		printf(")");
 		break;
 	case VAR:
-		printf("%d", term->u.var);
+		printf("%d", term->u.var.name);
 		break;
 	default:
 		fprintf(stderr, "Invalid type %d\n", term->type);