Vanishing viscosity limit for a coupled Navier-Stokes/Allen-Cahn system