bootstrap failure due to declaration mismatch in r260956

[Martin Sebor]

On 05/30/2018 12:27 PM, Gerald Pfeifer wrote:
> On Wed, 30 May 2018, Martin Sebor wrote:
>> I think your r260956 is missing the following hunk:
>
> If this fixes the bootstrap for you (also ran into this myself
> just now), can you please go ahead and commit?
>
> We can always sort out things later, if there are details to be
> tweaked, but fixing a bootstrap failure with a simple one-liner
> like this, let's not get process-heavy and just do it. ;-)

Jakub already committed the missing change in r260970 so boostrap
should be working again.

Thanks
Martin