diff --git a/src/util.cpp b/src/util.cpp
index 64f8e129..3fd624c4 100644
--- a/src/util.cpp
+++ b/src/util.cpp
@@ -1231,6 +1231,8 @@ void ShrinkDebugFile()
             fclose(file);
         }
     }
+    else if(file != NULL)
+	     fclose(file);
 }