diff options
Diffstat (limited to 'src/parse.c')
| -rw-r--r-- | src/parse.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parse.c b/src/parse.c index 33ca556..9408bde 100644 --- a/src/parse.c +++ b/src/parse.c @@ -5,6 +5,7 @@ #include <stdio.h> #include <parse.h> +#include <gc.h> #include <term.h> static struct term *rec(const char **term) @@ -35,7 +36,7 @@ static struct term *rec(const char **term) struct term *parse(const char *term) { - struct term *parsed = rec(&term); + struct term *parsed = gc_make_static(&gc, rec(&term)); to_barendregt(parsed); return parsed; } |