Martinez was optioned to Triple-A Round Rock on Monday.
The right-hander came up less than a week ago after Lucas Harrell hit the DL, but he'll head back to Round Rock with the Rangers in need of a spot on the 25-man roster. Texas will use it to activate left-hander Derek HOlland from the 60-day DL. That move isn't expected to become official until Tuesday, however.