It's not known if he will miss games to start the Grapefruit League season, which begins Saturday against the Astros.
"It's something I'm not going to take any chances with," manager Davey Johnson said. "I know he worked out a lot in D.C., so I'm not worried about him."
Right-hander Yunesky Maya also didn't work out on Tuesday because he was sick, according to Johnson. Maya is expected to be back on the mound soon.