2016-04-21 Ed Schonberg <schonberg@adacore.com>
commit764451dd16cd75d431dcee09dc7787fb71936d9e
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 21 Apr 2016 08:26:57 +0000 (21 08:26 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 21 Apr 2016 08:26:57 +0000 (21 08:26 +0000)
treef3064836abcb8d79258ebdfe251597f676aeb46f
parentbfbd9cf4151490f538d5499964aaee8f885cef93
2016-04-21  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb: Freeze profile in ASIS mode.

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