1.1 --- a/benchmark/bench_tools.h	Fri Mar 02 17:56:22 2007 +0000
     1.2 +++ b/benchmark/bench_tools.h	Fri Mar 02 18:04:28 2007 +0000
     1.3 @@ -80,7 +80,7 @@
     1.4      }
     1.5  };
     1.6  
     1.7 -inline void PrintTime(char *ID,lemon::Timer &T) 
     1.8 +inline void PrintTime(const char *ID, lemon::Timer &T) 
     1.9  {
    1.10    lemon::TimeStamp S(T);
    1.11    std::cout << ID << ' ' << S.userTime() << ' '