3 --- libs/timer/prg_timer.cpp.orig Thu Jul 22 10:19:48 1999
4 +++ libs/timer/prg_timer.cpp Thu May 11 02:37:36 2000
7 if( _os == 0 ) { _os = &std::cout; }
9 - std::ios_base::fmtflags old_flags = _os->setf( std::ios_base::fixed,
10 - std::ios_base::floatfield );
11 + std::ios::fmtflags old_flags = _os->setf( std::ios::fixed,
12 + std::ios::floatfield );
13 std::streamsize old_prec = _os->precision( 2 );
14 *_os << elapsed() << " s\n" // "s" is System International d'Unités std