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 02cd7e14..ebfd7ea1 100644 --- a/src/pdarun.h +++ b/src/pdarun.h @@ -457,6 +457,8 @@ void commit_forward_recurse( program_t *prg, tree_t **root, void commit_reduce( program_t *prg, tree_t **root, struct pda_run *pda_run ); void commit_clear( program_t *prg, tree_t **root, struct pda_run *pda_run ); +long commit_union_sz(); + #ifdef __cplusplus } |