Bug#949290: fix build with libffi 3.3

[Matthias Klose]

Package: src:polyml
Version: 5.7.1-2
Severity: important
Tags: sid bullseye patch

The following patch is needed to build with libffi 3.3 in experimental.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: polyml.diff
Type: text/x-patch
Size: 1063 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20200119/51ddcf94/attachment.bin>