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

Revision: 1361
Author: peter.gummer
Log Message: