Please send us the Eiffel file, and eventually also a screenshot showing the editor issue.