projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 776fbb7) | patch
sem_ch13.adb (Build_Invariant_Procedure): Reimplement the invariant procedure spec...
authorHristian Kirtchev <kirtchev@adacore.com>
Wed, 20 Apr 2016 09:00:58 +0000 (09:00 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 20 Apr 2016 09:00:58 +0000 (11:00 +0200)
commitae3d8837bd4e64b3e0ffc43b2b997248ed5c66e2
tree9bda9fccef16478079d523d1a7ba286a160aed03tree | snapshot
parent776fbb7478011611c58ba664a4c8ef3a0df8f75fcommit | diff
sem_ch13.adb (Build_Invariant_Procedure): Reimplement the invariant procedure spec and body insertion.

2016-04-20  Hristian Kirtchev  <kirtchev@adacore.com>

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

From-SVN: r235239
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
Domain: System / Toolchain;