]> git.ipfire.org Git - thirdparty/gcc.git/commit
2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 20 Apr 2016 09:00:58 +0000 (09:00 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 20 Apr 2016 09:00:58 +0000 (09:00 +0000)
commit157c8144f6b1db19d2df3acceeee12043f97c9dd
tree9bda9fccef16478079d523d1a7ba286a160aed03
parent5da394f935a22d42146d56054f084fc7ab9ad24e
2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch13.adb (Build_Invariant_Procedure):
Reimplement the invariant procedure spec and body insertion.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235239 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/sem_ch13.adb