simplify

[lambda.git] / reduce.c

diff --git a/reduce.c b/reduce.c
index 7bd170c..12914bf 100644 (file)
--- a/reduce.c
+++ b/reduce.c
@@ -49,7 +49,7 @@ bool lambda_reduce(struct lambda **t, struct lambda **total, bool applicative)
                        lambda_free(*t);
                        *t = newt;
 
-                       printf("\nβ -> ");
+                       printf("β -> ");
                        return true;
                }
        } else if ((*t)->which == lambda_abs) {