  We show that the posterior distribution of parameters in a hidden Markov
model with parametric emission distributions and discrete and known state space
is asymptotically normal. The main novelty of our proof is that it is based on
a testing condition and the sequence of test functions is obtained using an
optimal transportation inequality.
