--- trunk/src/io/DumpWriter.hpp 2005/11/08 13:32:06 720 +++ trunk/src/io/DumpWriter.hpp 2005/11/08 13:32:27 721 @@ -89,6 +89,7 @@ namespace oopse { std::ostream* dumpFile_; std::string eorFilename_; bool needCompression_; + bool needForceVector_; }; }