Re: [PPL-devel] little compilation bug

David Monniaux wrote:

In utils/timings.cc the exit() function is used. There should be a #include <stdlib.h> at the beginning. (Compilation fails on Ubuntu 8.10)

Hi David,

yes, this was fixed long ago. By the way, in a few hours you should be able to download PPL 0.10. All the best,

Roberto