simplify

[lambda.git] / print.c

diff --git a/print.c b/print.c
index f093ff5..9e6280c 100644 (file)
--- a/print.c
+++ b/print.c
@@ -42,5 +42,5 @@ void term_print(struct lambda *t, struct lambda *mark)
 void lambda_print(struct lambda *t, struct lambda *mark)
 {
        term_print(t, mark);
-       printf(";");
+       printf("\n;");
 }