According to Zachary Levin of the Houston Chronicle, the Astros have acquired right-handed pitcher Enerio Del Rosario from the Cincinnati Reds in exchange for cash. The team also designated infielder Oswaldo Navarro for assignment to make room for Del Rosario.

Del Rosario was designated for assignment earlier this week by the Reds to make room for newly acquired Willie Bloomquist.

Del Rosario, 24, is 1-1 with 8 2/3 innings pitched this season for the Reds. He’s allowed 13 hits, four walks and has three strike outs.