diff options
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; } |