On Jul 23, 2012, at 10:45, Arnaud Charlet wrote: > No, as we agreed and discussed, the flag does NOT have to be defined for all > versions of system.ads, so this is a bug that needs to be fixed (precisely > for the issue raised here: we don't want unknown or new ports to be broken > by default).
Having a default can't work, as s-atopri.adb needs access to the flag. Only the front end itself can use a default, not the run time. -Geert