bork

[lambda.git] / reduce.c

diff --git a/reduce.c b/reduce.c
index 83ab536..0c7d98c 100644 (file)
--- a/reduce.c
+++ b/reduce.c
@@ -27,7 +27,6 @@ void subst(char *ident, struct lambda *t1, struct lambda *t2, struct lambda *tot
                subst(ident, t1->data.application.expr2, t2, total);
                break;
        }
-
 }
 
 void lambda_reduce(struct lambda *t, struct lambda *total, int *maxdepth)