[ref_impl_eiffel] [1393] Further deletion to ensure compilation.

Revision: 1393
Author: thomas.beale
Log Message: