As you have now learned, tests always need to be rerun and reports should always be checked.
To validate the repair:
From the Window menu, select Close All.
In the Project
Browser tab on the right-hand side of the screen, left-click the
MyAdaTest component testing node
and then click the Build toolbar button.
The test has finished executing when the green execution light on the lower-right of the UI stops flashing.
Double-click the MyAdaTest component testing node to view all of the reports.
Select the Test Report tab.
When looking at the Report Window to the left, you will find that the defect has been repaired.
Select the menu item File->Save Project.