“I think it’s not a good sign that he goes off,” de Boer said. “Hopefully, it’s not so bad, but I can’t say if it’s good or bad. I don’t know.”

After walking off the field, Martinez was stretchered away.