redefinition update