Gabriele Contini
2019-08-29 e7525e40fd5212e3b2807e6ecb86d2da6c2de976
src/library/os/os.h
@@ -17,10 +17,10 @@
#include <string.h>
#include <ctype.h>
#include <sys/types.h>
#include <unistd.h>
//definition of size_t
#include <stdlib.h>
#ifdef __unix__
#include <unistd.h>
#include <stdbool.h>
#endif