* gcc-interface/gigi.h (get_elaboration_procedure): Delete.
commit1acb004f47b2187653741d93bc3e86e4358e7ff2
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 15 May 2017 09:07:18 +0000 (15 09:07 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 15 May 2017 09:07:18 +0000 (15 09:07 +0000)
tree539646fdc44b01b5fa9750a210f95d11d5aa456c
parent7f7cc984b46d08f85da6c3af0e0bd9baf93a01df
* gcc-interface/gigi.h (get_elaboration_procedure): Delete.
* gcc-interface/trans.c (get_elaboration_procedure): Make static.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@248055 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/gigi.h
gcc/ada/gcc-interface/trans.c