1 files changed, 0 insertions, 22 deletions
diff --git a/src/print.c b/src/print.c
index b6493e1..35278a1 100644
--- a/src/print.c
+++ b/src/print.c
@@ -28,25 +28,3 @@ void print_bruijn(Term *term)
 		fatal("invalid type %d\n", term->type);
 	}
 }
-
-void print_blc(Term *term)
-{
-	switch (term->type) {
-	case ABS:
-		printf("00");
-		print_blc(term->u.abs.body);
-		break;
-	case APP:
-		printf("01");
-		print_blc(term->u.app.lhs);
-		print_blc(term->u.app.rhs);
-		break;
-	case IDX:
-		for (size_t i = 0; i <= term->u.index; i++)
-			printf("1");
-		printf("0");
-		break;
-	default:
-		fatal("invalid type %d\n", term->type);
-	}
-}