patch from Martijn van Oosterhout

This commit is contained in:
Artem Pavlenko 2008-02-20 09:34:48 +00:00
parent 1625c760db
commit a478089bd9

View file

@ -210,7 +210,9 @@ int main (int argc,char** argv)
} else {
tree.trim();
std::clog<<" number nodes="<<tree.count()<<std::endl;
file.exceptions(ios::failbit | ios::badbit);
tree.write(file);
file.flush();
file.close();
}
}