Re: [Ada] Attribute 'Old should only be used in postconditions

[Arnaud Charlet]

> > Probably suppress both, since they no longer make sense (they are testing
> > an early implementation of 'Old, before 'Old was standardized in Ada
> > 2012).
> >
> > I'll take care of it.
> 
> Thanks!

Sure, done for the record (revision 189042).