On Tue, 20 Dec 2016 18:47:00 +0100 Julien Puydt <julien.pu...@laposte.net> wrote: > Hi, > > I don't understand why the bug reports ends with a discussion of the > count_trailing_zeros and count_leading_zeros macros, since the error > message quoted seems to be about the UWtype typedef. > > Notice that I won't have time to have a look before next week (at > least), so if you find a worthy solution, don't hesitate to team-upload > a new version! > > Snark on #debian-science > >
Because flint ends up using givaros implementation of count_leading_zeros which uses UWtype. The solution is that flint needs to use its own count_leading_zeros implementation. Best, Tobias -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
