[ref_impl_eiffel] [811] Correct VACMI error reporting

Revision: 811
Author: thomas.beale

Log Message: