src/work/marci/const_map_time.cc
changeset 921 818510fa3d99
parent 890 3a48bc350e0f
     1.1 --- a/src/work/marci/const_map_time.cc	Wed Sep 29 14:12:26 2004 +0000
     1.2 +++ b/src/work/marci/const_map_time.cc	Wed Sep 29 15:30:04 2004 +0000
     1.3 @@ -3,13 +3,13 @@
     1.4  
     1.5  #include <iostream>
     1.6  
     1.7 -#include <hugo/maps.h>
     1.8 -#include <hugo/smart_graph.h>
     1.9 -#include <hugo/time_measure.h>
    1.10 -#include <hugo/dimacs.h>
    1.11 -#include <hugo/graph_wrapper.h>
    1.12 +#include <lemon/maps.h>
    1.13 +#include <lemon/smart_graph.h>
    1.14 +#include <lemon/time_measure.h>
    1.15 +#include <lemon/dimacs.h>
    1.16 +#include <lemon/graph_wrapper.h>
    1.17  
    1.18 -using namespace hugo;
    1.19 +using namespace lemon;
    1.20  
    1.21  int main() {
    1.22