lib-xref-spark_specific.adb: Minor rewrite.
authorYannick Moy <moy@adacore.com>
Mon, 11 Sep 2017 09:48:04 +0000 (11:48 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 11 Sep 2017 09:48:04 +0000 (11:48 +0200)
commit6f77df7260f6f1ce89ecb2ee82d9f40447d813bc
treef59db1274dd9c7adf8e217b13ae5f80609137d0f
parent6daeb15669022d485730515e89732f6e89c42bb1
lib-xref-spark_specific.adb: Minor rewrite.

2017-09-11  Yannick Moy  <moy@adacore.com>

* lib-xref-spark_specific.adb: Minor rewrite.

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