[m-rev.] for post-commit review: avoid redundancy in an error message

[Peter Wang]

On Mon, 26 Oct 2020 20:28:06 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> For review by anyone.
> 
> Zoltan.

> s/predicate symbol predicate/predicate symbol/ in a diagnostic.
> 
> We used to generate diagnostics of the form
> 
>     The predicate symbol predicate `<'/2 is also overloaded here.
> 
> The second "predicate" is pure noise. It could never be "function",
> even though the code generating that message was prepared for that.
> 

That looks fine.

Peter