Re: Aspect programming

[Robert A Duff <bobduff@shell01.TheWorld.com>]

AdaMagica <christ-usch.grein@t-online.de> writes:

> You're using GNAT, which requires one compilation unit per file.

By default.  There are ways to get around that, but the easiest
thing is to follow GNAT's default convention.

> Thus your pragma Assertion_Policy applies only to the unit where it is
> in the context clause.
>
> If you want it to apply to all units, you have to use it as a
> configuration pragma.

Right, or use the -gnata switch.

- Bob