Fix merge error.
commitf03d2b738d5ea4ac40b6b8e09117b0ecda3ab80a
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 8 Sep 2017 07:18:20 +0000 (8 07:18 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 8 Sep 2017 07:18:20 +0000 (8 07:18 +0000)
tree5ee21daa1cb10f534002b97f7d2a6b41b242ea57
parent115e60dc65ba3700a8ea2815e09b0e06e1877145
Fix merge error.

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