Re: remove unused argument in duplicate_thread_path()

[Jeff Law]

On 09/05/2017 06:39 AM, Aldy Hernandez wrote:
> It looks like all remaining uses of duplicate_thread_path (ahem, one),
> pass a NULL to the REGION_COPY argument.
> 
> OK?
> 
OK.
jeff