On Apr 10, 2012, at 1:45, Mike Stump <mikestump@comcast.net> wrote: > I assume that was a friendly, please feel free to fix *.ads as well. Yes, sorry for the terse email. I wasn't quite sure if your message implied there was only an issue with *.adb or not and wasn't in a position to check at that time. -Geert