Y si cambias tu consulta de esta manera:
$result=mysql_query("UPDATE producto SET nombre_art='".$nombre_art."', id_marca='".$id_marca."', id_tipo_prod='".$id_tipo_prod."', precio_art='."$precio_art."', garantia_pro='".$garantia_pro."', cant_pro='".$cant_pro."', car_pro='".$car_pro."', WHERE cve_prod='".$cve_prod."';" ,$conex);
Suerte
