Repairing reinforced concrete