* gcc-interface/misc.c (gnat_init): Tweak previous change.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 Jul 2011 09:50:59 +0000 (09:50 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 Jul 2011 09:50:59 +0000 (09:50 +0000)
commiteca04deb976889c9aa09542d9683d41c292e9849
tree428c04c73c482c100e3a52bf03decb35c3a05493
parent14f27bc62d31edd462a7fc10cfb684a36b9e124e
* gcc-interface/misc.c (gnat_init): Tweak previous change.

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