4 Nov
2008
4 Nov
'08
9 a.m.
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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it