[GAP] design by contract

[Albert Lee]

On Wed, Aug 10, 2011 at 03:46:01PM -0400, Dick Gayler wrote:
> This file is compiled using the -gnatA switch but the precondition is 
> not executing.  Any help would be appreciated.

The command line switches are case sensitive.  If you use -gnata instead
of -gnatA you should get something like:

$ ./test_stack
raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : Precondition failed at test_stack.adb:9

-Albert