To land Davis, Grigson sent the Dolphins a 2013 second-round draft pick along with a conditional sixth-rounder. The Colts regain the latter because Davis won't meet the play-time conditions.
So we won't be getting the extra 6th round pick because overall for the Colts Davis was a disappointment and couldn't stay healthy.

Miami still has 9 total draft picks at this moment, but expect that to grow with a compensatory pick(s).