The Miami Marlins have made a roster move, as they have designated relief pitcher John King for assignment.