15 Mar
2012
15 Mar
'12
5:04 p.m.
int main() { std::vector<char> v; std::ofstream f("/tmp/foo"); boost::archive::text_oarchive oa(f);
const boost::uuids::uuid id = boost::uuids::random_generator()(); // try const
Sorry, I should have added that I actually tried both const and non-const versions, per your earlier suggestion. Making the uuid const does not seem to have an effect. Matthias