[ref_impl_eiffel] [1371] Fix the compilation which was broken by the last revision.

Revision: 1371
Author: peter.gummer
Log Message: