[ref_impl_eiffel] [985] Correct pre-condition of SOURCE_REPOSITORIES.set_reference_repository

Revision: 985
Author: thomas.beale
Log Message: