diff --git a/src/write_dump.cpp b/src/write_dump.cpp index 5a96e00242..c9b6db53ac 100644 --- a/src/write_dump.cpp +++ b/src/write_dump.cpp @@ -81,6 +81,5 @@ void WriteDump::command(int narg, char **arg) // delete the Dump instance and local storage delete dump; - delete[] dumpargs; + delete [] dumpargs; } -