Delete Stump_control.v