From e3ecb6ccc4baaa515249df6106eef9f4dd9fe4c7 Mon Sep 17 00:00:00 2001
From: Axel Kohlmeyer <akohlmey@gmail.com>
Date: Fri, 23 Oct 2020 04:21:15 -0400
Subject: [PATCH] must nullify "readers" array, so there is no crash when
 deleting it later

---
 src/read_dump.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/read_dump.cpp b/src/read_dump.cpp
index b64ce8b901..925760da6a 100644
--- a/src/read_dump.cpp
+++ b/src/read_dump.cpp
@@ -231,6 +231,10 @@ void ReadDump::setup_reader(int narg, char **arg)
 
   readers = new Reader*[nreader];
   nsnapatoms = new bigint[nreader];
+  for (int i=0; i < nreader; ++i) {
+    readers[i] = nullptr;
+    nsnapatoms[i] = 0;
+  }
 
   // create Nreader reader classes per reader
   // match readerstyle to options in style_reader.h