The 49ers on Thursday released nose tackle Ian Williams off the reserve/non-football injury list with an injury settlement.

The move, which was disclosed on the NFL, daily transaction report, is a procedural move, according to sources. It allows the 49ers to provide Williams with more compensation than he would have received if he had remained on reserve/non-football injury for the entire season. The move does not preclude the 49ers from re-signing Williams in the future.

The 49ers originally agreed to a five-year contract extension with Williams in the offseason. However, the contract was amended to a one-year deal after he underwent a team physical after undergoing surgery on his left leg.

Williams, 26, is a five-year NFL veteran. He originally signed with the 49ers as an undrafted rookie from Notre Dame in 2011.

He played his first 16-game season in 2015. He ranked third on the 49ers with 85 total tackles, according to the stats compiled by the coaching staff.

Williams took over as the 49ers’ starting nose tackle in 2013 after the free-agent departure of Isaac Sopoaga.

But he started just 10 games over the next two seasons due to two fractures of his lower leg.