2014-10-17 Robert Dewar <dewar@adacore.com>
commitd594ebd5d02f35ddf5a88f2577131d4282223aaf
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 17 Oct 2014 08:52:30 +0000 (17 08:52 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 17 Oct 2014 08:52:30 +0000 (17 08:52 +0000)
tree76b688b924a361d0edec52dd4f3a30948ce9e538
parentf02a9a9a879deca1a1bea446b633aa478f103897
2014-10-17  Robert Dewar  <dewar@adacore.com>

* aspects.ads: Documentation fix, aspect Lock_Free does have a
corresponding pragma.
* gnat_rm.texi: Document implementation defined boolean aspects
as boolean.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216378 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/aspects.ads
gcc/ada/gnat_rm.texi