Merge branch 'master' of git.martlubbers.net:lambda

[lambda.git] / reduce.c

diff --git a/reduce.c b/reduce.c
index 2cef239..1cad7a9 100644 (file)
--- a/reduce.c
+++ b/reduce.c
@@ -66,7 +66,6 @@ void lambda_beta(struct lambda *ident, struct lambda *t1, struct lambda *t2, str
                lambda_beta(ident, t1->data.application.expr2, t2, total);
                break;
        }
-
 }
 
 void lambda_reduce(struct lambda *t, struct lambda *total, int *maxdepth)