--- trunk/src/io/DumpReader.cpp	2014/05/31 22:35:05	2000
+++ trunk/src/io/DumpReader.cpp	2014/06/01 00:34:30	2001
@@ -105,7 +105,7 @@ namespace OpenMD { 
     if (worldRank == 0) { 
 #endif
 
-      inFile_->~istream(); 
+      delete inFile_; 
       
 #ifdef IS_MPI