Ajá
¿y dónde defines $carro?.
el hecho de que lo tengas en variable de sesión
$_SESSION['carro']; no hace que esté disponible mágicamente la variable
$carro, ese comportamiento murío cuando
registers globals fue declarado
obsoleto, así que te toca:
Código PHP:
session_start();
$carro = $_SESSION['carro'];