small patch to suppress a warning

[Stephan Pleines]

So what is the verdict in this patch please?

On Thu, Feb 11, 2021 at 5:06 AM Hans Åberg <haberg-1 at telia.com> wrote:

>
> > On 11 Feb 2021, at 11:45, Torbjörn Granlund <tg at gmplib.org> wrote:
> >
> > I think there might be better places to discuss compiler warnings than
> > the gmp-bugs list.
> >
> > I think most of us agree that compiler warnings for valid C code are
> > sometimes useful.  For example, valid warnings about unitialised
> > variables seem pretty uncontroversial.
>
> Actually not, on Bison.
>
>
>