[Ada] Style cleanups in new code for Pure_Barriers
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 20 Feb 2020 11:10:53 +0000 (12:10 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:51:12 +0000 (03:51 -0400)
commite344ec2553320fa95414e39001435076f277e335
tree6dca0218977ac15e1ae7e6e4c5cec2c61340d5ea
parenta998e58bf019c7174a7480fc4d46ec9fcbc4cd92
[Ada] Style cleanups in new code for Pure_Barriers

2020-06-08  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_ch13.adb (All_Membership_Choices_Static): Fix style.
gcc/ada/sem_ch13.adb