diff --git a/lbtt/ChangeLog b/lbtt/ChangeLog index 6bbd41392..d1c94f0f9 100644 --- a/lbtt/ChangeLog +++ b/lbtt/ChangeLog @@ -1,3 +1,9 @@ +2010-01-16 Guillaume Sadegh + + Add a missing include. + + * src/translate.cc: exit(2) requires cstdlib. + 2009-11-26 Alexandre Duret-Lutz Fix generation of random formulae on 64bits systems. diff --git a/lbtt/src/translate.cc b/lbtt/src/translate.cc index 173f796dc..fdd2246f9 100644 --- a/lbtt/src/translate.cc +++ b/lbtt/src/translate.cc @@ -19,6 +19,7 @@ #include #include +#include #include #include #include "Exception.h"