Delete main.adb~