I\'ve tried several things already,
std::stringstream m; m.empty(); m.clear();
both of which don\'t work.
m.str("");
seems to work.