From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 17 May 2018 06:47:53 +0000 (+0200)
Subject: bork
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=5a8929edaab8405bd56d0ac27367c9f35f595529;p=lambda.git

bork
---

diff --git a/reduce.c b/reduce.c
index 83ab536..0c7d98c 100644
--- 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)