src/core/model/time.cc
changeset 10175 d7b91afc71c6
parent 10174 09eca1533421
child 10176 73dfb0c88ed6
equal deleted inserted replaced
10174:09eca1533421 10175:d7b91afc71c6
   321       break;
   321       break;
   322     }
   322     }
   323   int64_t v = time.ToInteger (res);
   323   int64_t v = time.ToInteger (res);
   324   
   324   
   325   std::ios_base::fmtflags ff = os.flags ();
   325   std::ios_base::fmtflags ff = os.flags ();
   326   os << std::showpos << v << ".0" << unit;
   326   { // See bug 1737:  gcc libstc++ 4.2 bug
       
   327     if (v == 0)
       
   328       { 
       
   329 	os << '+';
       
   330       }
       
   331     else
       
   332       {
       
   333 	os << std::showpos;
       
   334       }
       
   335   }
       
   336   os << v << ".0" << unit;
   327   os.flags (ff);  // Restore stream flags
   337   os.flags (ff);  // Restore stream flags
   328   return os;
   338   return os;
   329 }
   339 }
   330 std::istream& operator>> (std::istream& is, Time & time)
   340 std::istream& operator>> (std::istream& is, Time & time)
   331 {
   341 {