From 5a8929edaab8405bd56d0ac27367c9f35f595529 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 17 May 2018 08:47:53 +0200
Subject: [PATCH] bork

---
 reduce.c | 1 -
 1 file changed, 1 deletion(-)

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)
-- 
2.20.1