Update ada2.adb