pgf_reader_done should do nothing if the reading has failed

This commit is contained in:
kr.angelov
2013-11-15 08:59:18 +00:00
parent 6d94bffc87
commit 254aba33a1

View File

@@ -1263,5 +1263,8 @@ pgf_new_reader(GuIn* in, GuPool* opool, GuPool* tmp_pool, GuExn* err)
void
pgf_reader_done(PgfReader* rdr, PgfPGF* pgf)
{
if (pgf == NULL)
return;
pgf_jit_done(rdr->jit_state, &pgf->abstract);
}