No, the train just skipped a station, and our train, going in the same direction, was coming in almost on time a few minutes later.

It was a bit crowded, though, and of course they lost their seat reservations.