Re: I386 build fails

[Ben Pfaff]

I uploaded a commit that should fix it.

On Mon, Apr 24, 2023 at 8:43 AM Ben Pfaff <b...@cs.stanford.edu> wrote:
>
> Thanks for the report. I see the problem. I'll fix it.
>
> On Sun, Apr 23, 2023 at 10:33 PM Friedrich Beckmann
> <friedrich.beckm...@gmx.de> wrote:
> >
> >
> > https://caeis.etech.fh-augsburg.de/buildbot/#/console
> >
> >
> > Am 24.04.2023 um 07:21 schrieb Friedrich Beckmann 
> > <friedrich.beckm...@gmx.de>:
> >
> > 
> > Hi Ben,
> >
> > the i386 build fails on the ci.
> >
> > Regards
> >
> > Fritz