diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-12-29 10:59:20 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-12-29 10:59:20 +0000 |
| commit | 3bd40dbab68c8354d8cfceb6dad32d24b13bc723 (patch) | |
| tree | b313cba147c811a720b1f17d5a7c1277fab68a72 /src/runtime/c/pgf/linearizer.c | |
| parent | 8fd24c3839e7d171e0c4170ae17b26c7ff5aec1b (diff) | |
API for word alignment in the C runtime and in the Haskell binding
Diffstat (limited to 'src/runtime/c/pgf/linearizer.c')
| -rw-r--r-- | src/runtime/c/pgf/linearizer.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/linearizer.c b/src/runtime/c/pgf/linearizer.c index bbec2f3c2..409d60a2c 100644 --- a/src/runtime/c/pgf/linearizer.c +++ b/src/runtime/c/pgf/linearizer.c @@ -1160,8 +1160,10 @@ pgf_linearize(PgfConcr* concr, PgfExpr expr, GuOut* out, GuExn* err) GuEnum* cts = pgf_lzr_concretize(concr, expr, err, tmp_pool); - if (!gu_ok(err)) + if (!gu_ok(err)) { + gu_pool_free(tmp_pool); return; + } PgfCncTree ctree = gu_next(cts, PgfCncTree, tmp_pool); if (!gu_variant_is_null(ctree)) { |