Bitcoin does not know such thing as a “double spend”