Message ID | 20100623052206.GA25269@adacore.com |
---|---|
State | New |
Headers | show |
--- not_null.adb (revision 161240) +++ not_null.adb (working copy) @@ -11,10 +11,8 @@ procedure not_null is begin declare pragma Warnings (Off, "*null not allowed in null-excluding objects"); - pragma Warnings (Off, """Constraint_Error"" will be raised at run time"); package Inst_2 is new GPack (null); pragma Warnings (On, "*null not allowed in null-excluding objects"); - pragma Warnings (On, """Constraint_Error"" will be raised at run time"); begin null; end;