Afterdownloading the three files below, you need to rename
them as follows

bin_search_ads.txt should be renamed bin_search.ads
bin_search_adb.txt should be renamed bin_search.adb
binary_search_test_adb.txt  should be renamed binary_search_test.adb

If you downloaded them from the publisher's site, you didn't have to rename the files.