lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not commented local...
authorArnaud Charlet <charlet@adacore.com>
Wed, 22 Jun 2016 09:55:42 +0000 (09:55 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 22 Jun 2016 09:55:42 +0000 (11:55 +0200)
commitb48a45e33c1022f9b60437131e3d6e640345cc54
treeef830972e9d2e1878bfd955a0b9be903d0abe9d5
parent22da877084b5911b10f33195eea7487b1aeedb86
lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not commented local variables replaced with direct uses of their...

2016-06-22  Arnaud Charlet  <charlet@adacore.com>

* lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not
commented local variables replaced with direct uses of their values.

From-SVN: r237685
gcc/ada/ChangeLog
gcc/ada/lib-xref-spark_specific.adb