Flaherty was instead traded to the Dodgers prior to Tuesday's trade deadline