]> git.ipfire.org Git - thirdparty/gcc.git/commit
2014-07-16 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 16 Jul 2014 13:52:30 +0000 (13:52 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 16 Jul 2014 13:52:30 +0000 (13:52 +0000)
commit2f272fcccff111b2d76d3fa5b99b14f92f8747fb
tree4f77d0cdf20f0a79577697511b229cb36ee4d995
parentf28931aa65bb70963d7678e08a3b20ce0f3833ca
2014-07-16  Ed Schonberg  <schonberg@adacore.com>

* a-coinho-shared.adb, a-coinho-shared.ads: Proper structures for
tampering checks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212642 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/a-coinho-shared.adb
gcc/ada/a-coinho-shared.ads