Checkout
Robert Stephan
committed
on 29 Sep
fix build error (derivate.setLabel() was removed)