diff -r e746fb14e680 -r 432c54cec63c test/circulation_test.cc
--- a/test/circulation_test.cc	Tue Aug 18 10:08:28 2009 +0200
+++ b/test/circulation_test.cc	Thu Nov 05 08:39:49 2009 +0100
@@ -87,6 +87,11 @@
     .upperMap(ucap)
     .supplyMap(supply)
     .flowMap(flow);
+  
+  const CirculationType::Elevator& elev = const_circ_test.elevator();
+  circ_test.elevator(const_cast<CirculationType::Elevator&>(elev));
+  CirculationType::Tolerance tol = const_circ_test.tolerance();
+  circ_test.tolerance(tol);
 
   circ_test.init();
   circ_test.greedyInit();