Così funziona ma dove ha tolto i valori doppi ha lasciato un vuoto, come si fa a togliere?

Codice PHP:
while($row1 mysql_fetch_array($cercacod))
{
$codici[]=$row1["codpro"];
}

$codici array_unique($codici);

sort($codici);
reset($codici);

for (
$n=0$n<100$n++)
{
echo 
"
$codici[$n]";