> gnat.dg/socket1.adb and socket2.adb are identical AFAICT, is there a
> special reason to have both?

Probably none. Feel free to remove one of them.

Arno

Reply via email to