1.1 --- a/src/benchmark/bench_tools.h	Wed Sep 29 14:12:26 2004 +0000
     1.2 +++ b/src/benchmark/bench_tools.h	Wed Sep 29 15:30:04 2004 +0000
     1.3 @@ -1,11 +1,11 @@
     1.4  // -*- mode:C++ -*-
     1.5 -#ifndef HUGO_BENCH_TEST_H
     1.6 -#define HUGO_BENCH_TEST_H
     1.7 +#ifndef LEMON_BENCH_TEST_H
     1.8 +#define LEMON_BENCH_TEST_H
     1.9  
    1.10  #include<vector>
    1.11  #include<iostream>
    1.12  
    1.13 -#include<hugo/time_measure.h>
    1.14 +#include<lemon/time_measure.h>
    1.15  
    1.16  ///An experimental typedef factory
    1.17  #define GRAPH_TYPEDEF_FACTORY(Graph) \
    1.18 @@ -74,9 +74,9 @@
    1.19      }
    1.20  };
    1.21  
    1.22 -inline void PrintTime(char *ID,hugo::Timer &T) 
    1.23 +inline void PrintTime(char *ID,lemon::Timer &T) 
    1.24  {
    1.25 -  hugo::TimeStamp S(T);
    1.26 +  lemon::TimeStamp S(T);
    1.27    std::cout << ID << ' ' << S.getUserTime() << ' '
    1.28  	    << S.getSystemTime() << ' ' << S.getRealTime() << std::endl;
    1.29  }