[ref_impl_eiffel] [1020] Remove erroneous precondition on ARCH_REP_ARCHETYPE.compile_legacy, which used to protect against compiling legacy archetypes when there was a differential file available .

Revision: 1020
Author: thomas.beale
Log Message: