Bug#1145040: Patch proposed at Salsa.d.o

[Rafael Laboissière]

Control: tags -1 + patch

I proposed a patch for fixing the issue as a merge request at Salsa:
https://salsa.debian.org/science-team/casadi/-/merge_requests/1

Best,

Rafael Laboissière