Any retired employee receiving prior service benefits under former section 54-52-19 is entitled to continue to receive those benefits. For the purposes of this section only, section 54-52-19 is deemed to remain in effect. The amount of benefits to which the employee is entitled is double that computed under original section 54-52-19.