On Thu, Aug 29, 2013 at 08:43:09PM +0200, Roberto Bagnara wrote: > Unless some problems are reported, this will become PPL 1.1. > Kind regards,
You are right. it's fixed. The error message leading to the collision in ppl.hh vs gmpxx.h was caused by a bogus mpir.h include (for whatever reason). sorry for the noise. regards felix -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
