[ref_impl_eiffel] [541] Fix a VWEQ compiler warning.

Revision: 541
Author: peter.gummer

Log Message: