[PATCH v2] ada: Simplify code while building boolean expression

[Robert Dewar]

Robert Dewar wrote:
> Samuel Tardieu wrote:
>> (This v2 further simplifies the code by converting only the
>> result to "Boolean")
>>
>> Simplify code by building
>>
>>   if Boolean (B'First and B'Last) then
>>
>> instead of
>>
>>   if B'First = BT (True) and B'Last = BT (True) then
>>
>> in Silly_Boolean_Array_Xor_Test.
> 
> This looks fine, Ok for trunk!
This comment of mine is of course OBE at this stage!