EiffelSoftware/EiffelStudio — pull request #1 by tioui (2014-09-14 03:14:31+00:00)
Title: Fixing infinite loop in the oom2rm EiffelStore example.

When experimenting with EiffelStore example, I found this potential infinite loop.