From d3fb1c84f80fba578f5508efd660c7cfe8c09e60 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 31 Jan 2023 16:07:27 +0100
Subject: Started reducing

---
 src/parse.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parse.c')

diff --git a/src/parse.c b/src/parse.c
index 306bf4f..016b5e9 100644
--- a/src/parse.c
+++ b/src/parse.c
@@ -64,6 +64,6 @@ static void to_barendregt(struct term *term, int level, int replacement)
 struct term *parse(const char *term)
 {
 	struct term *parsed = rec(&term);
-	to_barendregt(parsed, -1, -1);
+	to_barendregt(parsed, -1, -name_generator());
 	return parsed;
 }
-- 
cgit v1.2.3