  We prove that every many-sorted $\omega$-categorical theory is completely
interpretable in a one-sorted
  $\omega$-categorical theory. As an application, we give a short proof of the
existence of non $G$--compact $\omega$-categorical theories.
