Kwaj boy - the case you present is just after the flight, before the mile credit have been processed. In these cases, it depends on the airline but most will catch the change in time. Once the miles have been credited to the wrong airline, It's too much of a hassle for them to reverse it on one and credit the other.