  We establish a weak-strong uniqueness result for the isentropic compressible
Euler equations, that is: As long as a sufficiently regular solution exists,
all energy-admissible weak solutions with the same initial data coincide with
it. The main novelty in this contribution, compared to previous literature, is
that we allow for possible vacuum in the strong solution.
