3 Nov
2008
3 Nov
'08
8:53 a.m.
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)
--
CNRS / VERIMAG équipe synchrone http://www-veri.imag.fr/~monniaux/