From b3149b78977b0c5aef99b9c3c14242f095eb8396 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Fri, 15 Nov 2013 08:59:18 +0000
Subject: [PATCH] pgf_reader_done should do nothing if the reading has failed

---
 src/runtime/c/pgf/reader.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/runtime/c/pgf/reader.c b/src/runtime/c/pgf/reader.c
index c40781e26..067d0a35d 100644
--- a/src/runtime/c/pgf/reader.c
+++ b/src/runtime/c/pgf/reader.c
@@ -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);
 }