Reds starter Brandon Williamson left Tuesday's start ... Williamson came out of the game and Cincinnati later announced that ...