The Marlins designated Jimenez for assignment Thursday.
Jimenez has struggled to a .199 batting average and .565 OPS across 194 plate appearances this season, and he'll now lose his place on both the active and 40-man rosters to make room for Deyvison De Los Santos. Jimenez has never been viewed as much of an offensive threat, but his defensive versatility could be valued by teams browsing the waiver wire for bench depth.