diff --git a/simulators/c++2/src_simulator/definitions.h b/simulators/c++2/src_simulator/definitions.h index 03becb9b7b4d5033760dd436297aea3ddd8034d3..173608a1fc2b18aca1d55b5430eae1f50a9b255e 100644 --- a/simulators/c++2/src_simulator/definitions.h +++ b/simulators/c++2/src_simulator/definitions.h @@ -69,6 +69,7 @@ Ludovic Apvrille, Renaud Pacalet #include <sys/times.h> #include <sys/time.h> #include <sys/resource.h> +#include <unistd.h> #define WRITE_STREAM(s,v) s.write((char*) &v,sizeof(v)); //std::cout << sizeof(v) << " bytes written" << std::endl;