test/circulation_test.cc
changeset 715 ece80147fb08
parent 611 85cb3aa71cce
child 877 141f9c0db4a3
     1.1 --- a/test/circulation_test.cc	Fri Jul 24 11:07:52 2009 +0200
     1.2 +++ b/test/circulation_test.cc	Fri Sep 25 09:06:32 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();