Update mem-req-distr.stp