Delete prox_overlap.m