Re: partition -> partitioned

On 2018/05/17 11:40, David Rowley wrote:
> On 17 May 2018 at 13:52, Amit Langote <Langote_Amit_f8@lab.ntt.co.jp> wrote:
>> Commit 499be013de6 used 'partition' where it really meant 'partitioned' in
>> a few places including in a variable name.  For example, what almost all
>> places call 'partitioned_rels', make_partition_pruneinfo called
>> 'partition_rels'.
>>
>> Attached a patch to make that uniform to avoid confusion.
> 
> Looks good to me.

Thanks for taking a look at it.

Regards,
Amit