From e584be964cabac0083b389250ff227290e361210 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 22 Dec 2015 09:29:14 +0000
Subject: [PATCH] pgf_read should close the input file.

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

diff --git a/src/runtime/c/pgf/pgf.c b/src/runtime/c/pgf/pgf.c
index 4fc909acf..0070e5f48 100644
--- a/src/runtime/c/pgf/pgf.c
+++ b/src/runtime/c/pgf/pgf.c
@@ -29,6 +29,8 @@ pgf_read(const char* fpath,
 	pgf_reader_done(rdr, pgf);
 
 	gu_pool_free(tmp_pool);
+	
+	fclose(infile);
 	return pgf;
 }