summaryrefslogtreecommitdiff
path: root/gcc/ada/get_spark_xrefs.adb
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2017-01-13 10:13:41 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2017-01-13 10:13:41 +0000
commit0b20de783f72340539a204893ed33a6370e949fe (patch)
tree7bda468665216a3f3c8b3f01d195de5fb8d0bf3a /gcc/ada/get_spark_xrefs.adb
parent667cc5bced7492226cfad4b0f50794ee4f3500fd (diff)
downloadgcc-0b20de783f72340539a204893ed33a6370e949fe.tar.gz
2017-01-13 Gary Dismukes <dismukes@adacore.com>
* exp_util.adb: Minor reformatting. 2017-01-13 Yannick Moy <moy@adacore.com> * exp_spark.adb: Code cleanup. * sem_ch9.adb (Analyze_Delay_Until): Resolve expression so that calls are identified as such inside delay until. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244405 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/get_spark_xrefs.adb')
0 files changed, 0 insertions, 0 deletions