diff --git a/src/output.cpp b/src/output.cpp index ed6ccd11e1..497957f46b 100644 --- a/src/output.cpp +++ b/src/output.cpp @@ -828,6 +828,8 @@ void Output::delete_dump(const std::string &id) ivar_dump[i-1] = ivar_dump[i]; } ndump--; + dump[ndump] = nullptr; + var_dump[ndump] = nullptr; dump_list = std::vector(dump, dump + ndump); }