https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123867
--- Comment #3 from Brent Seidel <brentseidel at mac dot com> --- I also noticed that if I modified bug-b-c-d.ads so as not to need the .adb file, the possible misspelling error line went away. The "dev_type" undefined line was still there.
