Recommit wrongly reverted change.
commit03ffc1daf722aaea4786d34feb36ba85a1295c8e
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 30 Oct 2014 11:45:47 +0000 (30 11:45 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 30 Oct 2014 11:45:47 +0000 (30 11:45 +0000)
treed0f85b037631f359a4a611f4fa88beda91f1ace4
parentba304533cf49f0c220ca5b4df1a129ab2a1202b8
Recommit wrongly reverted change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216923 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/a-comutr.adb
gcc/ada/prj-proc.adb