prova così
$query="UPDATE prodotti SET codord='$num_ordine' WHERE codpro='$riga[codpro]'";