  We show the weak-strong uniqueness property for the compressible
Navier-Stokes system with general non-monotone pressure law. A weak solution
coincides with the strong solution emanating from the same initial data as long
as the latter solution exists.
