Holland pulled in the seventh

ARLINGTON, Texas -- That's it for Derek Holland.

The lefty obviously didn't have his best stuff from the get go, giving up two infield singles to start the game. It didn't get much better from there.

Holland was pulled after allowing a leadoff single in the seventh and the Rangers down 7-3. The Mets managed 12 hits off Holland. Of the seven runs, three were earned.