ref_impl_eiffel [293] Step two, to complete revision 292's change.

Revision: 293
Author: peter.gummer

Log Message: