diff options
Diffstat (limited to 'src/pdarun.h')
-rw-r--r-- | src/pdarun.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pdarun.h b/src/pdarun.h index dd180ab8..276ed775 100644 --- a/src/pdarun.h +++ b/src/pdarun.h @@ -357,6 +357,8 @@ struct pda_run tree_t *parse_error_text; char not_used; parse_tree_t *last_final; + + struct pool_alloc *parse_tree_pool; }; void colm_pda_init( struct colm_program *prg, struct pda_run *pda_run, |