Washington quarterback Alex Smith, who underwent 17 surgeries to repair a gruesome right-leg injury he suffered in 2018, missed the second half of his team’s victory over San Francisco on Sunday after sustaining a minor injury to his right calf late in the first half.

Washington used Dwayne Haskins at quarterback in the second half after Smith didn’t return to the game after the break.

Washington coach Ron Rivera said after the game that Smith, 36, suffered a strained calf muscle and could have returned if Washington had needed him. Rivera said X-rays on Smith were negative.

“What happened was Alex developed some tightness and muscle soreness as he was pushing off that right leg,” Rivera said. “As we ended the half, they took him to get X-rays. The X-rays were fine. There was no issue there. But he had the soreness, and it was tight, so we decided not to have him go back out there in the second half.

“We had him there in case of emergency. He stayed on the sideline and stayed loose and tried to loosen it up. It just stayed tight. He said he couldn’t get it loose. Out of an abundance of caution, we went ahead and went with Dwayne in the second half.”

Smith finished 8-for-19 passing for 57 yards with one interception. Haskins completed 7 of 12 for 51 yards in Washington’s 23-15 win in Glendale, Ariz.

There was no word Sunday on whether Smith would start Washington’s next game, against the Seattle Seahawks next Sunday.

Smith suffered his gruesome injury — a broken leg in two places — against the Houston Texans on Nov. 18, 2018, and was sidelined while he underwent surgeries and rehabilitation. He returned to the field on Oct. 11 of this season when he appeared in relief against the Los Angeles Rams.

Smith is 4-1 as a starter this season. He has passed for 1,420 yards and four touchdowns in seven games. He has been intercepted six times.