Not needed any longer.

This commit is contained in:
wiz 2002-07-07 10:21:52 +00:00
parent 369ab7909f
commit d3e8e27d7c

View file

@ -1,15 +0,0 @@
$NetBSD: patch-aa,v 1.1 2000/05/12 06:15:07 jlam Exp $
--- libs/timer/prg_timer.cpp.orig Thu Jul 22 10:19:48 1999
+++ libs/timer/prg_timer.cpp Thu May 11 02:37:36 2000
@@ -24,8 +24,8 @@
if( _os == 0 ) { _os = &std::cout; }
- std::ios_base::fmtflags old_flags = _os->setf( std::ios_base::fixed,
- std::ios_base::floatfield );
+ std::ios::fmtflags old_flags = _os->setf( std::ios::fixed,
+ std::ios::floatfield );
std::streamsize old_prec = _os->precision( 2 );
*_os << elapsed() << " s\n" // "s" is System International d'Unités std
<< std::endl;