Some of the compensatory picks are at the end of the 3rd round add 10 to 15 picks before the 4th round starts... so it is like they moved back in the 4th round
The Redskins just lost a 5th round pick to the 49ers. Reportedly the Carrier trade was a conditional pick that ended up being a 7th round pick, now the official NFL list of picks gives the Redskin 5th to SF. And they now have 10 picks.
per Rich Tandler
The Redskins have 10 picks in 2017 NFL draft | CSN Mid-Atlantic