diff options
| author | Marvin Borner | 2023-01-31 16:07:27 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-01-31 16:07:27 +0100 |
| commit | d3fb1c84f80fba578f5508efd660c7cfe8c09e60 (patch) | |
| tree | d83d65fd3f92f08b8a4f270064ea48a802720961 /src/parse.c | |
| parent | c964ff22469702d9d7f13bf1c12bcadcb1dc1afe (diff) | |
Started reducing
Diffstat (limited to 'src/parse.c')
| -rw-r--r-- | src/parse.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |