This paper introduces a new error correction strategy using cyclic redundancy checks (CRC) for a trellis coded system in the presence of bit stuffing. The proposed receiver is designed to simultaneously demodulate, decode and correct the received message in the presence of bit stuffing. It is based on a Viterbi algorithm exploiting the conditional transitions of an appropriate extended trellis. The receiver is evaluated with automatic identification system (AIS) messages constructed with a 16 bit CRC and a Gaussian Minimum Shift Keying (GMSK) modulation. The stuffed bits are inserted after any sequence of five consecutive bits 1 as requested by the AIS recommendation. Simulation results illustrate the algorithm performance in terms of packet error rate. A gain of more than 2.5dB is obtained when compared to the conventional GMSK receiver.