Reto Buerki <reet@codelabs.ch> writes: >> In your case, you happen to be using the current default compiler "by >> accident"; the policy requires you to use the default compiler >> explicitly and >> "by design". > > Ok, I see your point. Thanks for the nice explanatory example. Maybe it > would be good to include it in the Debian Ada policy as additional > rationale for these rules. +1 -- -- Stephe