test/circulation_test.cc
changeset 789 8e68671af789
parent 658 85cb3aa71cce
child 956 141f9c0db4a3
     1.1 --- a/test/circulation_test.cc	Wed Sep 30 08:36:43 2009 +0200
     1.2 +++ b/test/circulation_test.cc	Wed Sep 30 08:41:06 2009 +0200
     1.3 @@ -87,6 +87,11 @@
     1.4      .upperMap(ucap)
     1.5      .supplyMap(supply)
     1.6      .flowMap(flow);
     1.7 +  
     1.8 +  const CirculationType::Elevator& elev = const_circ_test.elevator();
     1.9 +  circ_test.elevator(const_cast<CirculationType::Elevator&>(elev));
    1.10 +  CirculationType::Tolerance tol = const_circ_test.tolerance();
    1.11 +  circ_test.tolerance(tol);
    1.12  
    1.13    circ_test.init();
    1.14    circ_test.greedyInit();