  For a certain Wakamatsu-tilting bimodule over two artin algebras $A$ and $B$,
Wakamatsu constructed an explicit equivalence between the stable module
categories over the trivial extension algebra of $A$ and that of $B$. We prove
that Wakamatsu's functor is a triangle functor, thus a triangle equivalence.
