1 files changed, 4 insertions, 1 deletions
diff --git a/mjit.c b/mjit.c
index 0f4b9fddc6..e94f2d9443 100644
--- a/mjit.c
+++ b/mjit.c
@@ -456,8 +456,11 @@ init_header_filename(void)
     }
 
     pch_file = get_uniq_filename(0, MJIT_TMP_PREFIX "h", ".h.gch");
-    if (pch_file == NULL)
+    if (pch_file == NULL) {
+        xfree(header_file);
+        header_file = NULL;
         return FALSE;
+    }
 #else
     {
         static const char pch_name[] = MJIT_PRECOMPILED_HEADER_NAME;