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

[Eric Botcazou]

> 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!

-- 
Eric Botcazou