diff options
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/c/pgf/parseval.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/parseval.c b/src/runtime/c/pgf/parseval.c index 0090a5942..9307acffc 100644 --- a/src/runtime/c/pgf/parseval.c +++ b/src/runtime/c/pgf/parseval.c @@ -237,5 +237,7 @@ pgf_parseval(PgfConcr* concr, PgfExpr expr, PgfCId cat, *recall = ((double) state.matches)/((double) gu_buf_length(state.phrases)); *exact = pgf_expr_eq(expr, ep->expr) ? 1 : 0; + gu_pool_free(pool); + return true; } |