diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/runtime/c/pgf/reader.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/runtime/c/pgf/reader.c b/src/runtime/c/pgf/reader.c index 24fa175e1..2dd1e73b3 100644 --- a/src/runtime/c/pgf/reader.c +++ b/src/runtime/c/pgf/reader.c @@ -1276,11 +1276,14 @@ pgf_concrete_load(PgfConcr* concr, GuIn* in, GuExn* err) concr->pool = pool; pgf_read_flags(rdr); - gu_return_on_exn(rdr->err, ); + if (gu_exn_is_raised(rdr->err)) + goto end; pgf_read_concrete_content(rdr, concr); - gu_return_on_exn(rdr->err, ); - + if (gu_exn_is_raised(rdr->err)) + goto end; + +end: gu_pool_free(tmp_pool); } |