-void IntervalPartition::print(std::ostream &O, const Module*) const {
- std::copy(Intervals.begin(), Intervals.end(),
- std::ostream_iterator<const Interval *>(O, "\n"));
+void IntervalPartition::print(raw_ostream &O, const Module*) const {
+ for(unsigned i = 0, e = Intervals.size(); i != e; ++i)
+ Intervals[i]->print(O);