sync1.ads
319 Bytes
-
sync1.ads: Fix error now flagged by gnat. · 6891bd6c* gnat.dg/sync1.ads: Fix error now flagged by gnat. * gnat.dg/specs/limited1.ads: Ditto. From-SVN: r146088
Arnaud Charlet committed
* gnat.dg/sync1.ads: Fix error now flagged by gnat. * gnat.dg/specs/limited1.ads: Ditto. From-SVN: r146088