Uniqueness of constructible models in continuous logic

We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.