| Submitter | Arnaud Charlet |
|---|---|
| Date | June 23, 2010, 5:22 a.m. |
| Message ID | <20100623052206.GA25269@adacore.com> |
| Download | mbox | patch |
| Permalink | /patch/56583/ |
| State | New |
| Headers | show |
Comments
Patch
--- 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;