--- trunk/src/io/DumpReader.cpp	2014/05/31 21:00:46	1999
+++ trunk/src/io/DumpReader.cpp	2014/05/31 22:35:05	2000
@@ -103,9 +103,9 @@ namespace OpenMD { 
 #ifdef IS_MPI 
     
     if (worldRank == 0) { 
-#endif 
-      
-      delete inFile_; 
+#endif
+
+      inFile_->~istream(); 
       
 #ifdef IS_MPI