[ref_impl_eiffel] [1510] Fix non-compilation

Revision: 1510
Author: thomas.beale
Log Message: