Bernhard Walle b9adbff8e1 complibs/ppl: Fix build of ppl 0.11.2 with gmp 5.1 and later
The fix is backported from
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9f843aecc23981aec6ed1eaa8be06e6786a47f0d.

Signed-off-by: Bernhard Walle <bernhard@bwalle.de>
Message-Id: <9a012bed87b494cfe0d4.1386503894@euler.fritz.box>
Patchwork-Id: 298789
2013-12-08 12:53:14 +01:00
..
2009-08-02 23:33:36 +02:00
2013-10-07 00:16:20 +02:00
2010-04-07 00:04:06 +02:00
2010-03-30 22:31:49 +02:00
2011-08-22 09:26:02 +02:00
2010-01-07 18:31:13 +01:00