Update LoopEnumeration.adb